(note TQG18)  ;; boolean version

(time 600)

(instance Proc18-1 TherapeuticProcess)
(instance Bio18-1 OrganicObject)
(patient Proc18-1 Bio18-1)
(not (instance Bio18-1 Organism))

(query (exists (?X)
           (and
               (instance ?X Organism)
               (part Bio18-1 ?X))))

(answer (sK1(s__Bio18_1)))


;; (solutionAxiom
;;   (=> 
;;     (and 
;;       (instance ?PROC Process) 
;;       (instance ?BIO Object)) 
;;     (=> 
;;       (and 
;;         (instance ?PROC TherapeuticProcess) 
;;         (patient ?PROC ?BIO)) 
;;       (or 
;;         (instance ?BIO Organism) 
;;         (exists (?ORG) 
;;           (and 
;;             (instance ?ORG Organism) 
;;             (part ?BIO ?ORG)))))))

;; Answer 1. [yes]

;; 1. 	(instance Bio18-1 OrganicObject)	[KB]	
;; 2. 	(instance Bio18-1 OrganicObject)	1 	
;; 3. 	(subclass OrganicObject Object)	[KB]	
;; 4. 	(subclass OrganicObject Object)	3 	
;; 5. 	(=>
;;     (subclass ?X403 ?X404)
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass)))	[KB]	
;; 6. 	(or
;;     (instance ?X1 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	5 	
;; 7. 	(or
;;     (instance ?X0 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	5 	
;; 8. 	(=>
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass))
;;     (=>
;;         (and
;;             (subclass ?X403 ?X404)
;;             (instance ?X405 ?X403))
;;         (instance ?X405 ?X404)))	[KB]	
;; 9. 	(or
;;     (instance ?X2 ?X1)
;;     (not
;;         (instance ?X2 ?X0))
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X1 SetOrClass))
;;     (not
;;         (instance ?X0 SetOrClass)))	8 	
;; 10. 	(or
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X2 ?X0))
;;     (instance ?X2 ?X1))	6 7 9 	
;; 11. 	(or
;;     (not
;;         (instance ?X0 OrganicObject))
;;     (instance ?X0 Object))	4 10 	
;; 12. 	(instance Bio18-1 Object)	2 11 	
;; 13. 	(instance Proc18-1 TherapeuticProcess)	[KB]	
;; 14. 	(instance Proc18-1 TherapeuticProcess)	13 	
;; 15. 	(patient Proc18-1 Bio18-1)	[KB]	
;; 16. 	(patient Proc18-1 Bio18-1)	15 	
;; 17. 	(subclass TherapeuticProcess Process)	[KB]	
;; 18. 	(subclass TherapeuticProcess Process)	17 	
;; 19. 	(or
;;     (instance ?X0 Process)
;;     (not
;;         (instance ?X0 TherapeuticProcess)))	18 10 	
;; 20. 	(not
;;     (instance Bio18-1 Organism))	[KB]	
;; 21. 	(not
;;     (instance Bio18-1 Organism))	20 	
;; 22. 	(=>
;;     (and
;;         (instance ?X5 Process)
;;         (instance ?X348 Object))
;;     (=>
;;         (and
;;             (instance ?X5 TherapeuticProcess)
;;             (patient ?X5 ?X348))
;;         (or
;;             (instance ?X348 Organism)
;;             (exists (?X36)
;;                 (and
;;                     (instance ?X36 Organism)
;;                     (part ?X348 ?X36))))))	[KB]	
;; 23. 	(or
;;     (instance
;;         (sk143 ?X1 ?X0) Organism)
;;     (instance ?X1 Organism)
;;     (not
;;         (patient ?X0 ?X1))
;;     (not
;;         (instance ?X0 TherapeuticProcess))
;;     (not
;;         (instance ?X1 Object))
;;     (not
;;         (instance ?X0 Process)))	22 	
;; 24. 	(not
;;     (exists (?X0)
;;         (and
;;             (instance ?X0 Organism)
;;             (part Bio18-1 ?X0))))	[Negated Query]	
;; 25. 	(or
;;     (not
;;         (part Bio18-1 ?X0))
;;     (not
;;         (instance ?X0 Organism)))	24 	
;; 26. 	(or
;;     (part ?X1
;;         (sk143 ?X1 ?X0))
;;     (instance ?X1 Organism)
;;     (not
;;         (patient ?X0 ?X1))
;;     (not
;;         (instance ?X0 TherapeuticProcess))
;;     (not
;;         (instance ?X1 Object))
;;     (not
;;         (instance ?X0 Process)))	22 	
;; 27. 	(or
;;     (not
;;         (patient ?X0 Bio18-1))
;;     (not
;;         (instance Bio18-1 Object))
;;     (not
;;         (instance ?X0 TherapeuticProcess)))	19 21 23 25 26 	
;; 28. 	True	12 14 16 27