Class BOOLEAN

Subclass-Of: Thing

Axioms:

(Instance-Of False Boolean)

(Instance-Of True Boolean)

(<=> (Boolean ?Self)
     (And (Thing ?Self) (Member ?Self (Setof True False))))

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp