BFO-2020
BFO-2020 copied to clipboard
All subclasses of role are rigid
Add an axiom to this effect, per discussion with Barry Smith