Hearing(entendre) | ![]() |
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 13737-13738 | |
(subclass Hearing Perception) | Merge.kif 13736-13736 | Entendre est une sous-classe de perception |
appearance as argument number 2 |
![]() |
(subclass Listening Hearing) | Merge.kif 13780-13780 | Listening est une sous-classe de entendre |
(termFormat ChineseLanguage Hearing "听") | chinese_format.kif 1220-1220 | Listening est une sous-classe de entendre |
(termFormat EnglishLanguage Hearing "hearing") | english_format.kif 1661-1661 | Listening est une sous-classe de entendre |
(termFormat FrenchLanguage Hearing "entendre") | french_format.kif 898-898 | Listening est une sous-classe de entendre |
(termFormat Hindi Hearing "sunanaa") | terms-hindi.txt 431-431 | Listening est une sous-classe de entendre |
(termFormat ItalianLanguage Hearing "Udito") | terms-it.txt 434-434 | Listening est une sous-classe de entendre |
(termFormat JapaneseLanguage Hearing "聴覚") | japanese_format.kif 2582-2582 | Listening est une sous-classe de entendre |
(termFormat PortugueseLanguage Hearing "Ouvir") | portuguese_format.kif 850-850 | Listening est une sous-classe de entendre |
(termFormat cb Hearing "pagdungngog") | terms-cb.txt 436-436 | Listening est une sous-classe de entendre |
(termFormat cz Hearing "hearing") | terms-cz.txt 470-470 | Listening est une sous-classe de entendre |
(termFormat de Hearing "Gehoer") | terms-de.txt 729-729 | Listening est une sous-classe de entendre |
(termFormat ro Hearing "auz") | relations-ro.kif 919-919 | Listening est une sous-classe de entendre |
(termFormat tg Hearing "naririnig") | terms-tg.txt 435-435 | Listening est une sous-classe de entendre |
antecedent |
![]() |
(=> (and (instance ?E Eardrum) (part ?E ?H) (experiencer ?HEAR ?H) (attribute ?H Healthy) (instance ?HEAR Hearing)) (instrument ?HEAR ?E)) |
Anatomy.kif 1671-1678 |
|
(=> (and (instance ?HEAR Hearing) (patient ?HEAR ?OBJ)) (exists (?ATTR) (and (instance ?ATTR SoundAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 13740-13747 |
consequent |
![]() |
![]() |
![]() |