| 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 13401-13402 | |
| (subclass Listening Hearing) | Merge.kif 13399-13399 | 听 是 听 的 subclass |
| (subclass Listening IntentionalProcess) | Merge.kif 13400-13400 | 听 是 有意图过程 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Listening "听") | domainEnglishFormat.kif 34662-34662 | |
| (termFormat ChineseTraditionalLanguage Listening "聽") | domainEnglishFormat.kif 34661-34661 | |
| (termFormat EnglishLanguage Listening "listening") | domainEnglishFormat.kif 34660-34660 |
| antecedent |
|
|
| (=> (and (recordingLength ?R ?T) (instance ?R AudioRecording) (instance ?L Listening) (patient ?L ?R)) (duration (WhenFn ?L) ?T)) |
Music.kif 118-124 |
|
|
|