Listening(listening) | ![]() | advert, attend, fixate, give_ear, hang, hear, incline, listen, pay_heed, sit_in, take_heed |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3322-3322 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13782-13783 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13780-13780 | Listening is a subclass of hearing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13781-13781 | Listening is a subclass of intentional process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34690-34690 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34689-34689 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34688-34688 |
antecedent |
![]() |
![]() |
![]() |