Relation FINE-PROPERLY-NECESSARY-TO

Arity: 2

Domain: Entity

Range: Entity

Axioms:

(= (Inverse Fine-Properly-Depends-On) Fine-Properly-Necessary-To)

(<=> (Fine-Properly-Necessary-To ?A ?B)
     (And (Entity ?A) (Entity ?B)))

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