Preferred Name |
disposition |
|
Synonyms |
|
|
ID |
http://purl.obolibrary.org/obo/BFO_0000016 |
|
BFO CLIF specification label |
Disposition |
|
BFO OWL specification label |
disposition |
|
has associated axiom(fol) |
(forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002] (forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002] |
|
has associated axiom(nl) |
If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002]) |
|
isDefinedBy | ||
label |
disposition |
|
prefixIRI |
ns4:BFO_0000016 |
|
prefLabel |
disposition |
|
disjointWith | ||
subClassOf |
Create mapping