Hearing | ![]() |
appearance as argument number 1 |
![]() |
(documentation Hearing ChineseLanguage "这个 subclass 是属于由听觉 Organ 作出感觉的 Perception。") | chinese_format.kif 3317-3318 | |
(documentation Hearing EnglishLanguage "The subclass of Perception in which the sensing is done by an auditory Organ.") | Merge.kif 12609-12610 | |
(subclass Hearing Perception) | Merge.kif 12608-12608 | subclass Hearing and Perception |
appearance as argument number 2 |
![]() |
(subclass Listening Hearing) | Merge.kif 12652-12652 | subclass Listening and Hearing |
(termFormat ChineseLanguage Hearing "听") | chinese_format.kif 1220-1220 | |
(termFormat EnglishLanguage Hearing "hearing") | english_format.kif 1666-1666 |
antecedent |
![]() |
(=> (and (instance ?HEAR Hearing) (patient ?HEAR ?OBJ)) (exists (?ATTR) (and (instance ?ATTR SoundAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 12612-12619 |
consequent |
![]() |
![]() |
![]() |