Preferred Name |
material entity |
|
Synonyms |
|
|
ID |
http://purl.obolibrary.org/obo/BFO_0000040 |
|
BFO CLIF specification label |
MaterialEntity |
|
BFO OWL specification label |
material |
|
has associated axiom(fol) |
(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002] (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002] (forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] |
|
has associated axiom(nl) |
every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002]) Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002]) |
|
isDefinedBy | ||
label |
material entity |
|
prefixIRI |
ns4:BFO_0000040 |
|
prefLabel |
material entity |
|
disjointWith | ||
subClassOf |