@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\u0020t)\u0020(if\u0020(and\u0020(IndependentContinuant\u0020x)\u0020(existsAt\u0020x\u0020t))\u0020(exists\u0020(y)\u0020(and\u0020(Entity\u0020y)\u0020(specificallyDependsOnAt\u0020y\u0020x\u0020t)))))\u0020//> .
@prefix ns1: <(iff\u0020(IndependentContinuant\u0020a)\u0020(and\u0020(Continuant\u0020a)\u0020(not\u0020(exists\u0020(b\u0020t)\u0020(specificallyDependsOnAt\u0020a\u0020b\u0020t)))))\u0020//> .
@prefix ns2: <(forall\u0020(x\u0020t)\u0020(if\u0020(IndependentContinuant\u0020x)\u0020(exists\u0020(r)\u0020(and\u0020(SpatialRegion\u0020r)\u0020(locatedInAt\u0020x\u0020r\u0020t)))))\u0020//> .
obo_purl:BFO_0000004
metadata_def:mappingLoom "independentcontinuant" ;
metadata_def:mappingSameURI obo_purl:BFO_0000004 ;
metadata_def:prefLabel "independent continuant" ;
metadata:prefixIRI "BFO:0000004" ;
obo_purl:BFO_0000179 "ic" ;
obo_purl:BFO_0000180 "IndependentContinuant" ;
obo_purl:IAO_0000112 "a chair"@en, "a heart"@en, "a leg"@en, "a molecule"@en, "a spatial region"@en, "an atom"@en, "an orchestra."@en, "an organism"@en, "the bottom right portion of a human torso"@en, "the interior of your mouth"@en ;
obo_purl:IAO_0000115 "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])"@en ;
obo_purl:IAO_0000601 "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])"@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])"@en ;
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] ", "(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] ", "(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "independent continuant"@en ;
rdfs:subClassOf obo_purl:BFO_0000002 ;
owl:disjointWith obo_purl:BFO_0000020, obo_purl:BFO_0000031 .
obo_purl:BFO_0000040
rdfs:subClassOf obo_purl:BFO_0000004 .
obo_purl:BFO_0000141
rdfs:subClassOf obo_purl:BFO_0000004 .
@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\u0020t)\u0020(if\u0020(and\u0020(IndependentContinuant\u0020x)\u0020(existsAt\u0020x\u0020t))\u0020(exists\u0020(y)\u0020(and\u0020(Entity\u0020y)\u0020(specificallyDependsOnAt\u0020y\u0020x\u0020t)))))\u0020//> .
@prefix ns1: <(iff\u0020(IndependentContinuant\u0020a)\u0020(and\u0020(Continuant\u0020a)\u0020(not\u0020(exists\u0020(b\u0020t)\u0020(specificallyDependsOnAt\u0020a\u0020b\u0020t)))))\u0020//> .
@prefix ns2: <(forall\u0020(x\u0020t)\u0020(if\u0020(IndependentContinuant\u0020x)\u0020(exists\u0020(r)\u0020(and\u0020(SpatialRegion\u0020r)\u0020(locatedInAt\u0020x\u0020r\u0020t)))))\u0020//> .
obo_purl:BFO_0000004
metadata_def:mappingLoom "independentcontinuant" ;
metadata_def:mappingSameURI obo_purl:BFO_0000004 ;
metadata_def:prefLabel "independent continuant" ;
metadata:prefixIRI "BFO:0000004" ;
obo_purl:BFO_0000179 "ic" ;
obo_purl:BFO_0000180 "IndependentContinuant" ;
obo_purl:IAO_0000112 "a chair"@en, "a heart"@en, "a leg"@en, "a molecule"@en, "a spatial region"@en, "an atom"@en, "an orchestra."@en, "an organism"@en, "the bottom right portion of a human torso"@en, "the interior of your mouth"@en ;
obo_purl:IAO_0000115 "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])"@en ;
obo_purl:IAO_0000601 "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])"@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])"@en ;
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] ", "(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] ", "(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "independent continuant"@en ;
rdfs:subClassOf obo_purl:BFO_0000002 ;
owl:disjointWith obo_purl:BFO_0000020, obo_purl:BFO_0000031 .
obo_purl:BFO_0000040
rdfs:subClassOf obo_purl:BFO_0000004 .
obo_purl:BFO_0000141
rdfs:subClassOf obo_purl:BFO_0000004 .