Relation GENERICALLY-DEPENDS-ON

The proper ontological dependence between an individual and a class; the next and this one are 'de re' dependences.

Arity: 2

Domain: Entity

Range: Meta-thing

Subrelation-Of: Extrinsic-structuring-relation

Axioms:

(=> (Generically-Depends-On ?A ?B)
    (=> (Holds-True-2 ?B ?A) (Has-Existence ?A True)))

• Defined in theory: Dependence
• Source code: Dependence.lisp