(note TQG8) ;; boolean version (time 900) (instance Jane8-1 Human) (query (exists (?ROLE1 ?ROLE2) (and (capability Reasoning ?ROLE1 Jane8-1) (capability Perception ?ROLE2 Jane8-1)))) (answer yes) ;; (solutionAxiom ;; (=> ;; (instance ?AGENT Object) ;; (=> ;; (instance ?AGENT CognitiveAgent) ;; (capability Reasoning agent ?AGENT)))) ;; (solutionAxiom ;; (=> ;; (instance ?AGENT Object) ;; (=> ;; (instance ?AGENT SentientAgent) ;; (capability Perception experiencer ?AGENT)))) ;; Answer 1. [yes] ;; 1. (instance Jane8-1 Human) [KB] ;; 2. (instance Jane8-1 Human) 1 ;; 3. (subclass Human CognitiveAgent) [KB] ;; 4. (subclass Human CognitiveAgent) 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 ;; (instance ?X0 CognitiveAgent) ;; (not ;; (instance ?X0 Human))) 4 10 ;; 12. (subclass Organism Object) [KB] ;; 13. (subclass Organism Object) 12 ;; 14. (or ;; (not ;; (instance ?X0 Organism)) ;; (instance ?X0 Object)) 13 10 ;; 15. (subclass Human Organism) [KB] ;; 16. (subclass Human Organism) 15 ;; 17. (or ;; (not ;; (instance ?X0 Human)) ;; (instance ?X0 Organism)) 16 10 ;; 18. (instance Jane8-1 Organism) 2 17 ;; 19. (instance Jane8-1 Object) 14 18 ;; 20. (subclass Human SentientAgent) [KB] ;; 21. (subclass Human SentientAgent) 20 ;; 22. (or ;; (not ;; (instance ?X0 Human)) ;; (instance ?X0 SentientAgent)) 21 10 ;; 23. (instance Jane8-1 SentientAgent) 2 22 ;; 24. (=> ;; (instance ?X4 Object) ;; (=> ;; (instance ?X4 CognitiveAgent) ;; (capability Reasoning agent ?X4))) [KB] ;; 25. (or ;; (capability Reasoning agent ?X0) ;; (not ;; (instance ?X0 CognitiveAgent)) ;; (not ;; (instance ?X0 Object))) 24 ;; 26. (not ;; (exists (?X0 ?X1) ;; (and ;; (capability Reasoning ?X0 Jane8-1) ;; (capability Perception ?X1 Jane8-1)))) [Negated Query] ;; 27. (or ;; (not ;; (capability Perception ?X1 Jane8-1)) ;; (not ;; (capability Reasoning ?X0 Jane8-1))) 26 ;; 28. (=> ;; (instance ?X4 Object) ;; (=> ;; (instance ?X4 SentientAgent) ;; (capability Perception experiencer ?X4))) [KB] ;; 29. (or ;; (capability Perception experiencer ?X0) ;; (not ;; (instance ?X0 SentientAgent)) ;; (not ;; (instance ?X0 Object))) 28 ;; 30. (or ;; (not ;; (capability Reasoning ?X0 Jane8-1)) ;; (not ;; (instance Jane8-1 Object)) ;; (not ;; (instance Jane8-1 SentientAgent))) 27 29 ;; 31. (not ;; (instance Jane8-1 CognitiveAgent)) 19 23 25 30 ;; 32. True 2 11 31