Relation RIGIDLY-DEPENDS-ON

The strongest proper ontological dependence: between individuals (Simons).

Arity: 2

Subrelation-Of: Dependence-relation

Axioms:

(=> (Rigidly-Depends-On ?A ?B)
    (=> (Has-Existence ?A True) (Has-Existence ?B True)))

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