loading...| 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 |