No TPTP formula. May not be expressible in strict first order. | Cars.kif 3508-3537 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13736-13736 | Hearing is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13780-13780 | Listening is a subclass of hearing |
![]() |