Matches in LOV for { <http://purl.obolibrary.org/obo/BFO_0000054> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- BFO_0000054 BFO_0000179 "realized-in".
- BFO_0000054 BFO_0000180 "realizedIn".
- BFO_0000054 IAO_0000600 "[copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])".
- BFO_0000054 IAO_0000601 "if a realizable entity b is realized in a process p, then p stands in the has_participant relation to the bearer of b. (axiom label in BFO2 Reference: [106-002])".
- BFO_0000054 IAO_0000602 "(forall (x y z t) (if (and (RealizableEntity x) (Process y) (realizesAt y x t) (bearerOfAt z x t)) (hasParticipantAt y z t))) // axiom label in BFO2 CLIF: [106-002]".
- BFO_0000054 type ObjectProperty.
- BFO_0000054 domain BFO_0000017.
- BFO_0000054 isDefinedBy bfo.owl.
- BFO_0000054 label "realized in".
- BFO_0000054 range BFO_0000015.