Class EQUATION

Subclass-Of: Relsent

Axioms:

(<=> (Equation ?X)
     (And (Relsent ?X)
          (Exists (?T1 ?T2)
                  (And (Term ?T1)
                       (Term ?T2)
                       (= ?X (Listof '= ?T1 ?T2))))))

• Defined in theory: Kif-meta
• Source code: kif-meta.lisp