issues
search
BFO-ontology
/
BFO-2020
A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
68
stars
27
forks
source link
All subclasses of role are rigid
#65
Open
alanruttenberg
opened
1 year ago
alanruttenberg
commented
1 year ago
Add an axiom to this effect, per discussion with Barry Smith
Add an axiom to this effect, per discussion with Barry Smith