ONTOLOGY EXPLORER
independent continuant
<http://purl.obolibrary.org/obo/BFO_0000004>
プロパティと値
| プロパティ | 値 |
|---|---|
| BFO_0000179 | "ic" |
| BFO_0000180 | "IndependentContinuant" |
| IAO_0000112 | "a chair"@en |
| IAO_0000112 | "a heart"@en |
| IAO_0000112 | "a leg"@en |
| IAO_0000112 | "a molecule"@en |
| IAO_0000112 | "a spatial region"@en |
| IAO_0000112 | "an atom"@en |
| IAO_0000112 | "an orchestra."@en |
| IAO_0000112 | "an organism"@en |
| IAO_0000112 | "the bottom right portion of a human torso"@en |
| IAO_0000112 | "the interior of your mouth"@en |
| 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 |
| 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 |
| IAO_0000601 | "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 |
| IAO_0000602 | "(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] " |
| 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] " |
| IAO_0000602 | "(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " |
| type | Class |
| isDefinedBy | bfo.owl |
| label | "independent continuant"@en |
| subClassOf | BFO_0000002 |
| disjointWith | BFO_0000020 |
| disjointWith | BFO_0000031 |