Link to this page
Neuropsychological Integrative Ontology
Preferred Name | generically dependent continuant | |
Synonyms |
|
|
Definitions |
A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time. b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001]) Examples: a certain PDF file that exists in different and in several hard drives Definition: A continuant [snap:Continuant] that is dependent on one or other independent continuant [snap:IndependentContinuant] bearers. For every instance of A requires some instance of (an independent continuant [snap:IndependentContinuant] type) B but which instance of B serves can change from time to time. |
|
ID |
http://purl.obolibrary.org/obo/BFO_0000031 |
|
comment |
Examples: a certain PDF file that exists in different and in several hard drives Definition: A continuant [snap:Continuant] that is dependent on one or other independent continuant [snap:IndependentContinuant] bearers. For every instance of A requires some instance of (an independent continuant [snap:IndependentContinuant] type) B but which instance of B serves can change from time to time.
|
|
BFO CLIF specification label |
GenericallyDependentContinuant
|
|
BFO OWL specification label |
gdc
|
|
example of usage |
the pdf file on your laptop, the pdf file that is a copy thereof on my laptop the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule. The entries in your database are patterns instantiated as quality instances in your hard drive. The database itself is an aggregate of such patterns. When you create the database you create a particular instance of the generically dependent continuant type database. Each entry in the database is an instance of the generically dependent continuant type IAO: information content entity.
|
|
has associated axiom(fol) |
(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001]
|
|
isDefinedBy | ||
label |
generically dependent continuant
|
|
prefixIRI |
snap:GenericallyDependentContinuant BFO:0000031
|
|
prefLabel |
generically dependent continuant
|
|
seeAlso | ||
textual definition |
A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time. b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])
|
|
subClassOf |
Delete | Subject | Author | Type | Created |
---|---|---|---|---|
No notes to display |