@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 metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix metadata: <http://data.bioontology.org/metadata/> .
@prefix ns0: <(forall\u0020(x\u0020y)\u0020(if\u0020(and\u0020(Continuant\u0020x)\u0020(exists\u0020(t)\u0020(hasContinuantPartOfAt\u0020y\u0020x\u0020t)))\u0020(Continuant\u0020y)))\u0020//> .
@prefix ns1: <(forall\u0020(x)\u0020(if\u0020(Continuant\u0020x)\u0020(Entity\u0020x)))\u0020//> .
@prefix ns2: <(forall\u0020(x\u0020y)\u0020(if\u0020(and\u0020(Continuant\u0020x)\u0020(exists\u0020(t)\u0020(continuantPartOfAt\u0020y\u0020x\u0020t)))\u0020(Continuant\u0020y)))\u0020//> .
@prefix ns3: <(forall\u0020(x)\u0020(if\u0020(Material\u0020Entity\u0020x)\u0020(exists\u0020(t)\u0020(and\u0020(TemporalRegion\u0020t)\u0020(existsAt\u0020x\u0020t)))))\u0020//> .
obo_purl:BFO_0000002
metadata_def:mappingLoom "continuant" ;
metadata_def:mappingSameURI obo_purl:BFO_0000002 ;
metadata_def:prefLabel "continuant" ;
metadata:prefixIRI "BFO:0000002" ;
obo_purl:BFO_0000179 "continuant" ;
obo_purl:BFO_0000180 "Continuant" ;
obo_purl:IAO_0000111 "continuant"@en ;
obo_purl:IAO_0000115 "An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts.", "An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts."@en ;
obo_purl:IAO_0000116 "BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240"@en, "Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants"@en ;
obo_purl:IAO_0000412 <http://purl.obolibrary.org/obo/agro.owl>, <http://purl.obolibrary.org/obo/dron.owl>, <http://purl.obolibrary.org/obo/envo.owl>, <http://purl.obolibrary.org/obo/obi.owl> ;
obo_purl:IAO_0000600 "A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])"@en ;
obo_purl:IAO_0000601 "if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])"@en, "if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])"@en, "if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])"@en ;
obo_purl:IAO_0000602 "(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] ", "(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] ", "(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] ", "(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] " ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "continuant", "continuant"@en ;
rdfs:subClassOf obo_purl:BFO_0000001 .
obo_purl:BFO_0000004
rdfs:subClassOf obo_purl:BFO_0000002 .
obo_purl:BFO_0000020
rdfs:subClassOf obo_purl:BFO_0000002 .
obo_purl:BFO_0000031
rdfs:subClassOf obo_purl:BFO_0000002 .
obo_purl:BFO_0000050
obo_purl:RO_0040042 obo_purl:BFO_0000002 .
obo_purl:RO_0000056
rdfs:domain obo_purl:BFO_0000002 .
obo_purl:RO_0000057
rdfs:range obo_purl:BFO_0000002 .
obo_purl:RO_0002258
rdfs:domain obo_purl:BFO_0000002 ;
rdfs:range obo_purl:BFO_0000002 .
obo_purl:RO_0002506
rdfs:domain obo_purl:BFO_0000002 ;
rdfs:range obo_purl:BFO_0000002 .
obo_purl:RO_0002566
rdfs:domain obo_purl:BFO_0000002 ;
rdfs:range obo_purl:BFO_0000002 .
@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 metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix metadata: <http://data.bioontology.org/metadata/> .
@prefix ns0: <(forall\u0020(x\u0020y)\u0020(if\u0020(and\u0020(Continuant\u0020x)\u0020(exists\u0020(t)\u0020(hasContinuantPartOfAt\u0020y\u0020x\u0020t)))\u0020(Continuant\u0020y)))\u0020//> .
@prefix ns1: <(forall\u0020(x)\u0020(if\u0020(Continuant\u0020x)\u0020(Entity\u0020x)))\u0020//> .
@prefix ns2: <(forall\u0020(x\u0020y)\u0020(if\u0020(and\u0020(Continuant\u0020x)\u0020(exists\u0020(t)\u0020(continuantPartOfAt\u0020y\u0020x\u0020t)))\u0020(Continuant\u0020y)))\u0020//> .
@prefix ns3: <(forall\u0020(x)\u0020(if\u0020(Material\u0020Entity\u0020x)\u0020(exists\u0020(t)\u0020(and\u0020(TemporalRegion\u0020t)\u0020(existsAt\u0020x\u0020t)))))\u0020//> .
obo_purl:BFO_0000002
metadata_def:mappingLoom "continuant" ;
metadata_def:mappingSameURI obo_purl:BFO_0000002 ;
metadata_def:prefLabel "continuant" ;
metadata:prefixIRI "BFO:0000002" ;
obo_purl:BFO_0000179 "continuant" ;
obo_purl:BFO_0000180 "Continuant" ;
obo_purl:IAO_0000111 "continuant"@en ;
obo_purl:IAO_0000115 "An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts.", "An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts."@en ;
obo_purl:IAO_0000116 "BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240"@en, "Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants"@en ;
obo_purl:IAO_0000412 <http://purl.obolibrary.org/obo/agro.owl>, <http://purl.obolibrary.org/obo/dron.owl>, <http://purl.obolibrary.org/obo/envo.owl>, <http://purl.obolibrary.org/obo/obi.owl> ;
obo_purl:IAO_0000600 "A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])"@en ;
obo_purl:IAO_0000601 "if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])"@en, "if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])"@en, "if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])"@en ;
obo_purl:IAO_0000602 "(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] ", "(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] ", "(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] ", "(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] " ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "continuant", "continuant"@en ;
rdfs:subClassOf obo_purl:BFO_0000001 .
obo_purl:BFO_0000004
rdfs:subClassOf obo_purl:BFO_0000002 .
obo_purl:BFO_0000020
rdfs:subClassOf obo_purl:BFO_0000002 .
obo_purl:BFO_0000031
rdfs:subClassOf obo_purl:BFO_0000002 .
obo_purl:BFO_0000050
obo_purl:RO_0040042 obo_purl:BFO_0000002 .
obo_purl:RO_0000056
rdfs:domain obo_purl:BFO_0000002 .
obo_purl:RO_0000057
rdfs:range obo_purl:BFO_0000002 .
obo_purl:RO_0002258
rdfs:domain obo_purl:BFO_0000002 ;
rdfs:range obo_purl:BFO_0000002 .
obo_purl:RO_0002506
rdfs:domain obo_purl:BFO_0000002 ;
rdfs:range obo_purl:BFO_0000002 .
obo_purl:RO_0002566
rdfs:domain obo_purl:BFO_0000002 ;
rdfs:range obo_purl:BFO_0000002 .