obo:BFO_0000016 | obo:IAO_0000602 | (forall (x t) (if (and (Realiz ...... label in BFO2 CLIF: [063-002] | |
obo:BFO_0000016 | obo:IAO_0000602 | (forall (x) (if (Disposition x ...... label in BFO2 CLIF: [062-002] |
obo:BFO_0000016 | obo:IAO_0000602 | (forall (x t) (if (and (Realiz ...... label in BFO2 CLIF: [063-002] | |
obo:BFO_0000016 | obo:IAO_0000602 | (forall (x) (if (Disposition x ...... label in BFO2 CLIF: [062-002] |