Class EQUATION

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Relsent

Equivalence Axioms:

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

Axioms:

(Exists (?T1 ?T2)
        (And (Term ?T1) (Term ?T2) (= ?X (Listof (Quote =) ?T1 ?T2))))

(Relsent ?X)

Other Related Axioms:

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