Relation CONCEPTUALLY-DEPENDS-ON

The proper ontological dependence between two classes; this is a 'de dicto' dependence.

Arity: 2

Domain: Meta-thing

Range: Meta-thing

Subrelation-Of: Extrinsic-structuring-relation

Axioms:

(=> (Conceptually-Depends-On ?A ?B)
    (Forall (?Z ?W) (=> (Holds-True-2 ?A ?Z) (Holds-True-2 ?B ?W))))

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