Preferred Name |
realizable entity |
ID |
http://purl.obolibrary.org/obo/BFO_0000017 |
BFO CLIF specification label |
RealizableEntity |
BFO OWL specification label |
realizable |
has associated axiom(fol) |
(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] (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] |
has associated axiom(nl) |
All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002]) |
isDefinedBy | |
label |
realizable entity |
prefixIRI |
ns4:BFO_0000017 |
prefLabel |
realizable entity |
disjointWith | |
subClassOf |