Class INEQUALITY

Subclass-Of: Relsent

Axioms:

(<=> (Inequality ?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