TQG46.kif.tq

(note TQG46)  ;; boolean version

;; Row variable expansion.

(instance testPred46-1 BinaryPredicate)
(domain testPred46-1 1 Entity)
(domain testPred46-1 2 Entity)

(instance Entity46-1 Entity)
(instance Entity46-2 Entity)

(=>
  (testPred46-1 @ROW ?ITEM)
  (instance ?ITEM Amphibian))

(testPred46-1 Entity46-1 Entity46-2)

(query (instance Entity46-2 Amphibian))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(not
;;     (instance Entity46-2 Amphibian))	[Negated Query]	
;; 2. 	(not
;;     (instance Entity46-2 Amphibian))	1 	
;; 3. 	(testPred46-1 Entity46-1 Entity46-2)	[KB]	
;; 4. 	(testPred46-1 Entity46-1 Entity46-2)	3 	
;; 5. 	(=>
;;     (testPred46-1 ?X91 ?X1)
;;     (instance ?X1 Amphibian))	[KB]	
;; 6. 	(or
;;     (instance ?X1 Amphibian)
;;     (not
;;         (testPred46-1 ?X0 ?X1)))	5 	
;; 7. 	True	2 4 6