Matches in LOV for { <http://purl.obolibrary.org/obo/BFO_0000017> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- BFO_0000017 BFO_0000179 "realizable".
- BFO_0000017 BFO_0000180 "RealizableEntity".
- BFO_0000017 IAO_0000112 "the disposition of this piece of metal to conduct electricity.".
- BFO_0000017 IAO_0000112 "the disposition of your blood to coagulate".
- BFO_0000017 IAO_0000112 "the function of your reproductive organs".
- BFO_0000017 IAO_0000112 "the role of being a doctor".
- BFO_0000017 IAO_0000112 "the role of this boundary to delineate where Utah and Colorado meet".
- BFO_0000017 IAO_0000600 "To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])".
- BFO_0000017 IAO_0000601 "All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])".
- BFO_0000017 IAO_0000602 "(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002]".
- BFO_0000017 IAO_0000602 "(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002]".
- BFO_0000017 type Class.
- BFO_0000017 isDefinedBy bfo.owl.
- BFO_0000017 label "Realizable Entity".
- BFO_0000017 subClassOf BFO_0000020.
- BFO_0000017 disjointWith BFO_0000019.