(note TQG9)  ;; boolean version

;; Class identification.

(query (exists (?ENTITY)
         (and 
           (subclass ?ENTITY Animal) 
           (subclass ?ENTITY CognitiveAgent)
           (equal ?ENTITY Human))))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(subclass Human Animal)	[KB]	
;; 2. 	(subclass Human Animal)	1 	
;; 3. 	(not
;;     (exists (?X0)
;;         (and
;;             (subclass ?X0 Animal)
;;             (subclass ?X0 CognitiveAgent)
;;             (equal ?X0 Human))))	[Negated Query]	
;; 4. 	(or
;;     (not
;;         (equal ?X0 Human))
;;     (not
;;         (subclass ?X0 CognitiveAgent))
;;     (not
;;         (subclass ?X0 Animal)))	3 	
;; 5. 	(subclass Human CognitiveAgent)	[KB]	
;; 6. 	(subclass Human CognitiveAgent)	5 	
;; 7. 	True	2 4 6