Link to this page
Neuron Phenotype Ontology
Last uploaded:
September 20, 2024
Jump to:
| Preferred Name | independent continuant | |
| Synonyms |
|
|
| 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]) |
|
| ID |
http://purl.obolibrary.org/obo/BFO_0000004 |
|
| BFO CLIF specification label |
IndependentContinuant
|
|
| BFO OWL specification label |
ic
|
|
| definition |
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])
|
|
| example of usage |
a leg an orchestra. a molecule an organism the bottom right portion of a human torso the interior of your mouth an atom a chair a spatial region a heart
|
|
| has associated axiom(fol) |
(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] (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]
|
|
| has associated axiom(nl) |
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])
|
|
| isDefinedBy | ||
| label |
independent continuant
|
|
| preferred label |
independent continuant
|
|
| prefixIRI |
BFO:0000004
|
|
| prefLabel |
independent continuant
|
|
| disjointWith | ||
| subClassOf |
Add comment
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |
Create mapping