Preferred Name |
material entity |
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 which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002]) every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002]) |
isDefinedBy | |
label |
material entity |
prefixIRI |
ns4:BFO_0000040 |
prefLabel |
material entity |
subClassOf | |
disjointWith |