| Listening(listening) | | advert, attend, fixate, give_ear, hang, hear, incline, listen, listening, pay_heed, sit_in, take_heed |
| appearance as argument number 1 |
|
|
| (documentation Listening ChineseLanguage "这是任何有目的 Hearing 的实例。.") | Merge.kif 13594-13594 | |
| (documentation Listening EnglishLanguage "Any instance of Hearing which is intentional.") | Merge.kif 13592-13593 | |
| (subclass Listening Hearing) | Merge.kif 13590-13590 | Listening is a subclass of hearing |
| (subclass Listening IntentionalProcess) | Merge.kif 13591-13591 | Listening is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Listening "listening") | domainEnglishFormat.kif 6198-6198 | "listening" is the printable form of listening in english language |
| consequent |
|
|
| (=> (and (recordingLength ?R ?T) (instance ?R AudioRecording)) (=> (and (instance ?L Listening) (patient ?L ?R)) (duration (WhenFn ?L) ?T))) |
Music.kif 116-124 |
|
|
|
|