obo:BFO_0000023 | obo:IAO_0000602 | (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] | graph:default |
obo:BFO_0000023 | obo:IAO_0000602 | (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] | graph:default |