@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix obo_purl: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix oboinowl_gen: <http://www.geneontology.org/formats/oboInOwl#> .
@prefix ns0: <(forall\u0020(x)\u0020(if\u0020(MaterialEntity\u0020x)\u0020(IndependentContinuant\u0020x)))\u0020//> .
@prefix ns1: <(forall\u0020(x)\u0020(if\u0020(and\u0020(Entity\u0020x)\u0020(exists\u0020(y\u0020t)\u0020(and\u0020(MaterialEntity\u0020y)\u0020(continuantPartOfAt\u0020y\u0020x\u0020t))))\u0020(MaterialEntity\u0020x)))\u0020//> .
@prefix ns2: <(forall\u0020(x)\u0020(if\u0020(and\u0020(Entity\u0020x)\u0020(exists\u0020(y\u0020t)\u0020(and\u0020(MaterialEntity\u0020y)\u0020(continuantPartOfAt\u0020x\u0020y\u0020t))))\u0020(MaterialEntity\u0020x)))\u0020//> .
@prefix ns3: <http://purl.org/sfwo/> .
obo_purl:BFO_0000024
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:BFO_0000027
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:BFO_0000030
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:BFO_0000040
metadata_def:mappingLoom "materialentity" ;
metadata_def:mappingSameURI obo_purl:BFO_0000040 ;
metadata_def:prefLabel "material entity" ;
obo_purl:BFO_0000179 "material" ;
obo_purl:BFO_0000180 "MaterialEntity" ;
obo_purl:IAO_0000112 "a flame"@en, "a forest fire"@en, "a human being"@en, "a hurricane"@en, "a photon"@en, "a puff of smoke"@en, "a sea wave"@en, "a tornado"@en, "an aggregate of human beings."@en, "an energy wave"@en, "an epidemic"@en, "the undetached arm of a human being"@en ;
obo_purl:IAO_0000115 "An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time."@en ;
obo_purl:IAO_0000116 "BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60"@en, "BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity."@en, "BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here."@en ;
obo_purl:IAO_0000600 "A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])"@en ;
obo_purl:IAO_0000601 "Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])"@en, "every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])"@en ;
obo_purl:IAO_0000602 "(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] ", "(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] " ;
oboinowl_gen:hasOBONamespace "bfo" ;
oboinowl_gen:id "BFO:0000040" ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "material entity", "material entity"@en ;
rdfs:subClassOf obo_purl:BFO_0000004 ;
skos:notation "BFO:0000040" .
obo_purl:CHEBI_36342
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:PCO_0000031
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:PO_0025131
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:PR_000050567
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:RO_0002434
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0002437
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0002448
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0002449
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0002450
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0002473
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0002577
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:RO_0002595
rdfs:domain obo_purl:BFO_0000040 .
obo_purl:RO_0003000
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0003001
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0011002
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:UBERON_0000465
rdfs:subClassOf obo_purl:BFO_0000040 .
ns3:SFWO_0000128
rdfs:subClassOf obo_purl:BFO_0000040 .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix obo_purl: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix oboinowl_gen: <http://www.geneontology.org/formats/oboInOwl#> .
@prefix ns0: <(forall\u0020(x)\u0020(if\u0020(MaterialEntity\u0020x)\u0020(IndependentContinuant\u0020x)))\u0020//> .
@prefix ns1: <(forall\u0020(x)\u0020(if\u0020(and\u0020(Entity\u0020x)\u0020(exists\u0020(y\u0020t)\u0020(and\u0020(MaterialEntity\u0020y)\u0020(continuantPartOfAt\u0020y\u0020x\u0020t))))\u0020(MaterialEntity\u0020x)))\u0020//> .
@prefix ns2: <(forall\u0020(x)\u0020(if\u0020(and\u0020(Entity\u0020x)\u0020(exists\u0020(y\u0020t)\u0020(and\u0020(MaterialEntity\u0020y)\u0020(continuantPartOfAt\u0020x\u0020y\u0020t))))\u0020(MaterialEntity\u0020x)))\u0020//> .
@prefix ns3: <http://purl.org/sfwo/> .
obo_purl:BFO_0000024
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:BFO_0000027
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:BFO_0000030
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:BFO_0000040
metadata_def:mappingLoom "materialentity" ;
metadata_def:mappingSameURI obo_purl:BFO_0000040 ;
metadata_def:prefLabel "material entity" ;
obo_purl:BFO_0000179 "material" ;
obo_purl:BFO_0000180 "MaterialEntity" ;
obo_purl:IAO_0000112 "a flame"@en, "a forest fire"@en, "a human being"@en, "a hurricane"@en, "a photon"@en, "a puff of smoke"@en, "a sea wave"@en, "a tornado"@en, "an aggregate of human beings."@en, "an energy wave"@en, "an epidemic"@en, "the undetached arm of a human being"@en ;
obo_purl:IAO_0000115 "An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time."@en ;
obo_purl:IAO_0000116 "BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60"@en, "BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity."@en, "BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here."@en ;
obo_purl:IAO_0000600 "A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])"@en ;
obo_purl:IAO_0000601 "Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])"@en, "every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])"@en ;
obo_purl:IAO_0000602 "(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] ", "(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] " ;
oboinowl_gen:hasOBONamespace "bfo" ;
oboinowl_gen:id "BFO:0000040" ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "material entity", "material entity"@en ;
rdfs:subClassOf obo_purl:BFO_0000004 ;
skos:notation "BFO:0000040" .
obo_purl:CHEBI_36342
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:PCO_0000031
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:PO_0025131
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:PR_000050567
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:RO_0002434
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0002437
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0002448
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0002449
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0002450
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0002473
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0002577
rdfs:subClassOf obo_purl:BFO_0000040 .
obo_purl:RO_0002595
rdfs:domain obo_purl:BFO_0000040 .
obo_purl:RO_0003000
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0003001
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:RO_0011002
rdfs:domain obo_purl:BFO_0000040 ;
rdfs:range obo_purl:BFO_0000040 .
obo_purl:UBERON_0000465
rdfs:subClassOf obo_purl:BFO_0000040 .
ns3:SFWO_0000128
rdfs:subClassOf obo_purl:BFO_0000040 .