Jump to:
loading...| Preferred Name | realizable entity | |
| Synonyms |
|
|
| 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 |
Create mapping