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]) A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything. |
|
ID |
http://purl.obolibrary.org/obo/BFO_0000004 |
|
BFO CLIF specification label |
IndependentContinuant |
|
BFO OWL specification label |
ic |
|
editor preferred term |
independent continuant |
|
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]) |
|
imported from |
http://purl.obolibrary.org/obo/ro.owl http://purl.obolibrary.org/obo/obi.owl http://purl.obolibrary.org/obo/cl.owl |
|
label |
independent continuant |
|
prefixIRI |
BFO:0000004 |
|
prefLabel |
independent continuant |
|
rdfs:isDefinedBy | ||
textual 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]) A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything. |
|
subClassOf |
This ontology integrates with OntoloBridge, allowing community users to suggest additions to the public ontology. Complete the template below to submit a term request directly to the ontology maintainer.
Term Label (required)
Suggested term name. If a term can be described with multiple synonyms, only list the preferred name here.
Term description (required)
A brief definition, description, or usage of your suggested term. Additional term synonyms may be listed in this section.
Superclass (required)
The parent term of the suggested term. The parent term should be an existing entry of the current ontology. The superclass can be selected directly from Bioportal's Classes tree viewer.
References (optional)
Provide evidence for the existence of the requested term such as Pubmed IDs of papers or links to other resources that describe the term.
Justification (optional)
Provide any additional information about the requested term here.