Class BOOLEAN-VALUE

• Defined in theory: Dme-kb
• Source code: dme-kb.lisp

Slots on this class:

Documentation:

The extensional set of boolean truth values.

Instance-Of: Class, Dme-kernel-class

Equivalence Axioms:

(<=> (Boolean-Value ?True-Or-False)
     (Or (= ?True-Or-False True) (= ?True-Or-False False)))

Axioms:

(Or (= ?True-Or-False True) (= ?True-Or-False False))

Other Related Axioms:

(<=> (Boolean-Value ?True-Or-False)
     (Or (= ?True-Or-False True) (= ?True-Or-False False)))