(note TQG10) ;; boolean version (time 900) (=> (and (instance ?A Animal) (not (exists (?PART) (and (instance ?PART SpinalColumn) (part ?PART ?A))))) (not (instance ?A Vertebrate))) (not (exists (?SPINE) (and (instance ?SPINE SpinalColumn) (part ?SPINE BananaSlug10-1)))) ; (partition Animal Vertebrate Invertebrate) ; in Merge.kif (instance BananaSlug10-1 Animal) (and (instance BodyPart10-1 BodyPart) (component BodyPart10-1 BananaSlug10-1)) (query (instance BananaSlug10-1 Invertebrate)) (answer yes) ;; Answer 1. [yes] ;; 1. (instance BananaSlug10-1 Animal) [KB] ;; 2. (instance BananaSlug10-1 Animal) 1 ;; 3. (not ;; (instance BananaSlug10-1 Invertebrate)) [Negated Query] ;; 4. (not ;; (instance BananaSlug10-1 Invertebrate)) 3 ;; 5. (subclass Vertebrate Object) [KB] ;; 6. (subclass Vertebrate Object) 5 ;; 7. (=> ;; (subclass ?X403 ?X404) ;; (and ;; (instance ?X403 SetOrClass) ;; (instance ?X404 SetOrClass))) [KB] ;; 8. (or ;; (instance ?X1 SetOrClass) ;; (not ;; (subclass ?X0 ?X1))) 7 ;; 9. (or ;; (instance ?X0 SetOrClass) ;; (not ;; (subclass ?X0 ?X1))) 7 ;; 10. (=> ;; (and ;; (instance ?X403 SetOrClass) ;; (instance ?X404 SetOrClass)) ;; (=> ;; (and ;; (subclass ?X403 ?X404) ;; (instance ?X405 ?X403)) ;; (instance ?X405 ?X404))) [KB] ;; 11. (or ;; (instance ?X2 ?X1) ;; (not ;; (instance ?X2 ?X0)) ;; (not ;; (subclass ?X0 ?X1)) ;; (not ;; (instance ?X1 SetOrClass)) ;; (not ;; (instance ?X0 SetOrClass))) 10 ;; 12. (or ;; (not ;; (subclass ?X0 ?X1)) ;; (not ;; (instance ?X2 ?X0)) ;; (instance ?X2 ?X1)) 8 9 11 ;; 13. (or ;; (not ;; (instance ?X0 Vertebrate)) ;; (instance ?X0 Object)) 6 12 ;; 14. (=> ;; (instance ?X316 Object) ;; (=> ;; (and ;; (instance ?X316 Animal) ;; (not ;; (exists (?X133) ;; (and ;; (instance ?X133 SpinalColumn) ;; (part ?X133 ?X316))))) ;; (not ;; (instance ?X316 Vertebrate)))) [KB] ;; 15. (or ;; (not ;; (instance ?X0 Vertebrate)) ;; (instance ;; (sk509 ?X0) SpinalColumn) ;; (not ;; (instance ?X0 Animal)) ;; (not ;; (instance ?X0 Object))) 14 ;; 16. (or ;; (not ;; (instance ?X0 Vertebrate)) ;; (part ;; (sk509 ?X0) ?X0) ;; (not ;; (instance ?X0 Animal)) ;; (not ;; (instance ?X0 Object))) 14 ;; 17. (not ;; (exists (?X0) ;; (and ;; (instance ?X0 SpinalColumn) ;; (part ?X0 BananaSlug10-1)))) [KB] ;; 18. (or ;; (not ;; (part ?X0 BananaSlug10-1)) ;; (not ;; (instance ?X0 SpinalColumn))) 17 ;; 19. (or ;; (not ;; (instance ;; (sk509 BananaSlug10-1) SpinalColumn)) ;; (not ;; (instance BananaSlug10-1 Vertebrate)) ;; (not ;; (instance BananaSlug10-1 Object))) 2 16 18 ;; 20. (not ;; (instance BananaSlug10-1 Vertebrate)) 13 2 15 19 ;; 21. (subclass Animal Entity) [KB] ;; 22. (subclass Animal Entity) 21 ;; 23. (=> ;; (instance ?X82 SetOrClass) ;; (<=> ;; (instance ?X82 Class) ;; (subclass ?X82 Entity))) [KB] ;; 24. (or ;; (instance ?X0 Class) ;; (not ;; (subclass ?X0 Entity)) ;; (not ;; (instance ?X0 SetOrClass))) 23 ;; 25. (or ;; (not ;; (subclass ?X0 Entity)) ;; (instance ?X0 Class)) 9 24 ;; 26. (instance Animal Class) 22 25 ;; 27. (subclass Invertebrate Entity) [KB] ;; 28. (subclass Invertebrate Entity) 27 ;; 29. (instance Invertebrate Class) 28 25 ;; 30. (=> ;; (and ;; (instance ?X586 Class) ;; (instance ?X587 Class) ;; (instance ?X588 Class)) ;; (=> ;; (and ;; (partition ?X588 ?X587 ?X586) ;; (instance ?X83 ?X588) ;; (not ;; (instance ?X83 ?X587))) ;; (instance ?X83 ?X586))) [KB] ;; 31. (or ;; (instance ?X3 ?X0) ;; (instance ?X3 ?X1) ;; (not ;; (instance ?X3 ?X2)) ;; (not ;; (partition ?X2 ?X1 ?X0)) ;; (not ;; (instance ?X2 Class)) ;; (not ;; (instance ?X1 Class)) ;; (not ;; (instance ?X0 Class))) 30 ;; 32. (partition Animal Vertebrate Invertebrate) [KB] ;; 33. (partition Animal Vertebrate Invertebrate) 32 ;; 34. (or ;; (not ;; (instance Vertebrate Class)) ;; (not ;; (instance Animal Class)) ;; (not ;; (instance Invertebrate Class)) ;; (not ;; (instance ?X0 Animal)) ;; (instance ?X0 Vertebrate) ;; (instance ?X0 Invertebrate)) 31 33 ;; 35. (subclass Vertebrate Entity) [KB] ;; 36. (subclass Vertebrate Entity) 35 ;; 37. (instance Vertebrate Class) 36 25 ;; 38. (or ;; (instance ?X0 Vertebrate) ;; (not ;; (instance ?X0 Animal)) ;; (instance ?X0 Invertebrate)) 26 29 34 37 ;; 39. True 2 4 20 38