<?xml version="1.0" encoding="UTF-8"?> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:metadata_def="http://data.bioontology.org/metadata/def/" xmlns:metadata="http://data.bioontology.org/metadata/"> <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000002"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000001"/> <rdfs:label>continuant</rdfs:label> <rdfs:label xml:lang="en">continuant</rdfs:label> <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/> <owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/> <obo_purl:IAO_0000115 xml:lang="en">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.</obo_purl:IAO_0000115> <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.</obo_purl:IAO_0000115> <obo_purl:IAO_0000116 xml:lang="en">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</obo_purl:IAO_0000116> <obo_purl:IAO_0000116 xml:lang="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</obo_purl:IAO_0000116> <metadata_def:prefLabel>continuant</metadata_def:prefLabel> <metadata_def:prefLabel xml:lang="en">continuant</metadata_def:prefLabel> <metadata_def:mappingLoom>continuant</metadata_def:mappingLoom> <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> <metadata:prefixIRI>obo1:BFO_0000002</metadata:prefixIRI> <obo_purl:BFO_0000179>continuant</obo_purl:BFO_0000179> <obo_purl:BFO_0000180>Continuant</obo_purl:BFO_0000180> <obo_purl:IAO_0000600 xml:lang="en">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])</obo_purl:IAO_0000600> <obo_purl:IAO_0000601 xml:lang="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])</obo_purl:IAO_0000601> <obo_purl:IAO_0000601 xml:lang="en">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])</obo_purl:IAO_0000601> <obo_purl:IAO_0000601 xml:lang="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])</obo_purl:IAO_0000601> <obo_purl:IAO_0000602>(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] </obo_purl:IAO_0000602> <obo_purl:IAO_0000602>(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] </obo_purl:IAO_0000602> <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] </obo_purl:IAO_0000602> <obo_purl:IAO_0000602>(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] </obo_purl:IAO_0000602> <metadata:treeView rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> <metadata:obo/part_of rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> </owl:Class> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000004"> <rdfs:subClassOf> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000002"> <metadata:treeView rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> <metadata:obo/part_of rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> </rdf:Description> </rdfs:subClassOf> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000020"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000031"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0000056"> <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0000057"> <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002258"> <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002506"> <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002566"> <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> </rdf:Description> </rdf:RDF>