| Listening | |
| appearance as argument number 1 |
|
|
| (documentation Listening ChineseLanguage "这是任何有目的 Hearing 的实例。.") | chinese_format.kif 3322-3322 | |
| (documentation Listening EnglishLanguage "Any instance of Hearing which is intentional.") | Merge.kif 13521-13522 | |
| (subclass Listening Hearing) | Merge.kif 13519-13519 | Listening est une sous-classe de entendre |
| (subclass Listening IntentionalProcess) | Merge.kif 13520-13520 | Listening est une sous-classe de processus intentionnel |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Listening "听") | domainEnglishFormat.kif 34685-34685 | |
| (termFormat ChineseTraditionalLanguage Listening "聽") | domainEnglishFormat.kif 34684-34684 | |
| (termFormat EnglishLanguage Listening "listening") | domainEnglishFormat.kif 34683-34683 |
| antecedent |
|
|
| (=> (and (recordingLength ?R ?T) (instance ?R AudioRecording) (instance ?L Listening) (patient ?L ?R)) (duration (WhenFn ?L) ?T)) |
Music.kif 118-124 |
|
|
|
|