<?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_0000004"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/> <metadata_def:mappingLoom>independentcontinuant</metadata_def:mappingLoom> <metadata_def:prefLabel>independent continuant</metadata_def:prefLabel> <obo_purl:IAO_0000115 xml:lang="en">b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])</obo_purl:IAO_0000115> <metadata:prefixIRI>BFO:0000004</metadata:prefixIRI> <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/> <rdfs:label xml:lang="en">independent continuant</rdfs:label> <obo_purl:IAO_0000412 rdf:resource="http://purl.obolibrary.org/obo/bfo/2.0/bfo.owl"/> <obo_purl:IAO_0000112 xml:lang="en">a leg</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">an organism</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">a heart</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">a spatial region</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">a molecule</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">a chair</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">an atom</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the interior of your mouth</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">an orchestra.</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the bottom right portion of a human torso</obo_purl:IAO_0000112> <obo_purl:BFO_0000180>IndependentContinuant</obo_purl:BFO_0000180> <obo_purl:IAO_0000602>(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] </obo_purl:IAO_0000602> <obo_purl:IAO_0000602>(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] </obo_purl:IAO_0000602> <obo_purl:IAO_0000602>(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] </obo_purl:IAO_0000602> <obo_purl:BFO_0000179>ic</obo_purl:BFO_0000179> <obo_purl:IAO_0000601 xml:lang="en">For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])</obo_purl:IAO_0000601> <obo_purl:IAO_0000601 xml:lang="en">For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])</obo_purl:IAO_0000601> </owl:Class> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000040"> <rdfs:subClassOf> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000004"> <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/> </rdf:Description> </rdfs:subClassOf> </rdf:Description> </rdf:RDF>