Preferred Name | generically dependent continuant | |
Synonyms |
|
|
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 |
|
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]) |
|
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 |
ns4:BFO_0000031 |
|
prefLabel |
generically dependent continuant |
|
subClassOf |
Create mapping