obo:BFO_0000003 | obo:IAO_0000602 | (forall (x) (if (Occurrent x) ...... label in BFO2 CLIF: [108-001] | graph:default |
obo:BFO_0000003 | obo:IAO_0000602 | (forall (x) (iff (Occurrent x) ...... label in BFO2 CLIF: [079-001] | graph:default |
obo:BFO_0000003 | obo:IAO_0000602 | (forall (x) (if (Occurrent x) ...... label in BFO2 CLIF: [108-001] | graph:default |
obo:BFO_0000003 | obo:IAO_0000602 | (forall (x) (iff (Occurrent x) ...... label in BFO2 CLIF: [079-001] | graph:default |