Relation TERNARY

Subclass-Of: Relation

Arity: 3

Axioms:

(<=> (Ternary ?Self)
     (And (Relation ?Self)
          (Forall (?A ?B)
                  (=> (And (Arity ?Self ?A) (Arity ?Self ?B))
                      (= ?A ?B)))))

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