Preferred Name |
generically dependent continuant |
Definitions |
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]) |
ID |
http://purl.obolibrary.org/obo/BFO_0000031 |
comment |
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. |
BFO CLIF specification label |
GenericallyDependentContinuant |
BFO OWL specification label |
gdc |
definition |
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]) |
example of usage |
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. 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. |
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 |
BFO:0000031 |
prefLabel |
generically dependent continuant |
subClassOf |