Class INEQUALITY

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

Slots on this class:

Subclass-Of: Relsent

Axioms:

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