Get a permanent link to this class
Ontologies
SEONT
Last submission date
May 3, 2024
| ID | http://purl.obolibrary.org/obo/BFO_0000004
http://purl.obolibrary.org/obo/BFO_0000004
https://agroportal.lirmm.fr/ontologies/SEONT/BFO_0000004
Loading |
|---|---|
| Preferred name | independent continuant |
| Definitions |
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])
A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
|
Raw data
| rdf:type | |
|---|---|
| rdfs:subClassOf | |
| rdfs:label | independent continuant
independent continuant
|
| rdfs:isDefinedBy | |
| 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])
A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
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])
A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
|
| obo_purl:IAO_0000112 | a chair
a heart
a leg
a molecule
a spatial region
an atom
an orchestra.
an organism
the bottom right portion of a human torso
the interior of your mouth
See more
See less
|
| obo_purl:IAO_0000412 | |
| obo_purl:BFO_0000179 | ic
|
| obo_purl:BFO_0000180 | IndependentContinuant
|
| 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])
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_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]
(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]
|
| owl:disjointWith | |