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]) [ http://purl.obolibrary.org/obo/bfo/axiom/074-001 ]

This is just here as a test because I lose it

Term information

BFO 0000180

GenericallyDependentContinuant

IAO 0000602

(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001]

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.

example of usage

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.

the pdf file on your laptop, the pdf file that is a copy thereof on my laptop

isDefinedBy

http://purl.obolibrary.org/obo/bfo.owl

Term relations