;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
&gt; &gt; ;;                         O N T O L O G Y                           ;;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
&gt; &gt;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;;;;;;;;; DEFINITIONS ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
&gt; &gt;
&gt; &gt; (documentation disjoint "Classes X and Y are disjoint iff they share no 
&gt; instances.")
&gt; &gt;
&gt; &gt; (forall (?class1 ?class2)
&gt; &gt;         (&lt;=&gt; (disjoint ?class1 ?class2)
&