obo:BFO_0000002 | obo:IAO_0000602 | (forall (x y) (if (and (Contin ...... label in BFO2 CLIF: [009-002] | |
obo:BFO_0000002 | obo:IAO_0000602 | (forall (x y) (if (and (Contin ...... label in BFO2 CLIF: [126-001] | |
obo:BFO_0000002 | obo:IAO_0000602 | (forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] | |
obo:BFO_0000002 | obo:IAO_0000602 | (forall (x) (if (Material Enti ...... label in BFO2 CLIF: [011-002] |