|
|
   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 13605-13606 | |
| (subclass Hearing Perception) | Merge.kif 13604-13604 | 聴覚 は 知覚 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass Listening Hearing) | Merge.kif 13648-13648 | Listening は 聴覚 の subclass では %n |
| (termFormat ChineseLanguage Hearing "听") | chinese_format.kif 1220-1220 | |
| (termFormat EnglishLanguage Hearing "hearing") | english_format.kif 1661-1661 | |
| (termFormat FrenchLanguage Hearing "entendre") | french_format.kif 898-898 | |
| (termFormat Hindi Hearing "sunanaa") | terms-hindi.txt 431-431 | |
| (termFormat ItalianLanguage Hearing "Udito") | terms-it.txt 434-434 | |
| (termFormat JapaneseLanguage Hearing "聴覚") | japanese_format.kif 2582-2582 | |
| (termFormat PortugueseLanguage Hearing "Ouvir") | portuguese_format.kif 850-850 | |
| (termFormat cb Hearing "pagdungngog") | terms-cb.txt 436-436 | |
| (termFormat cz Hearing "hearing") | terms-cz.txt 470-470 | |
| (termFormat ro Hearing "auz") | relations-ro.kif 919-919 | |
| (termFormat tg Hearing "naririnig") | terms-tg.txt 435-435 |
| antecedent |
|
|
| (=> (and (instance ?E Eardrum) (part ?E ?H) (experiencer ?HEAR ?H) (attribute ?H Healthy) (instance ?HEAR Hearing)) (instrument ?HEAR ?E)) |
Anatomy.kif 1636-1643 |
|
| (=> (and (instance ?HEAR Hearing) (patient ?HEAR ?OBJ)) (exists (?ATTR) (and (instance ?ATTR SoundAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 13608-13615 |
| consequent |
|
|
| (=> (and (attribute ?ACTOR VoiceActor) (instance ?DRAMA DramaticActing) (agent ?DRAMA ?ACTOR) (instance ?SPEAK LinguisticCommunication) (agent ?SPEAK ?ACTOR) (subProcess ?SPEAK ?DRAMA)) (and (not (exists (?S ?VIEWER) (and (instance ?S Seeing) (patient ?S ?ACTOR) (agent ?S ?VIEWER)))) (exists (?H ?VIEWER) (and (instance ?H Hearing) (patient ?H ?ACTOR) (agent ?H ?VIEWER))))) |
Biography.kif 757-776 |
|
| (=> (and (instance ?HP HearingProtection) (instance ?PERSON Human) (wears ?PERSON ?HP)) (hasPurpose ?HP (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN ?T) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP))))) |
Cars.kif 3455-3484 |
|
| (=> (and (instance ?SOUND RadiatingSound) (agent ?SOUND ?OBJ) (attribute ?SOUND Audible)) (exists (?HUMAN ?HEAR) (and (instance ?HUMAN Human) (capability (KappaFn ?HEAR (and (instance ?HEAR Hearing) (agent ?HEAR ?HUMAN) (destination ?HEAR ?HUMAN) (origin ?HEAR ?OBJ))) agent ?HUMAN)))) |
Merge.kif 13632-13646 | |
| (=> (attribute ?A Deaf) (not (capability Hearing agent ?A))) |
Mid-level-ontology.kif 19781-19784 | |
| (=> (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn Eardrum))) (modalAttribute (not (exists (?HEAR) (and (instance ?HEAR Hearing) (during (WhenFn ?HEAR) ?T) (experiencer ?HEAR ?H)))) Likely)) |
Anatomy.kif 1645-1656 | |
| (=> (instance ?EAR Ear) (capability Hearing instrument ?EAR)) |
Mid-level-ontology.kif 12143-12145 | |
| (=> (instance ?X PublicAddressSystem) (hasPurpose ?X (exists (?RS ?AREA ?GRP) (and (instance ?AREA LandArea) (located ?X ?AREA) (instance ?GRP GroupOfPeople) (located ?GRP ?AREA) (instance ?RS RadiatingSound) (instrument ?RS ?X) (forall (?PERSON) (=> (member ?PERSON ?GRP) (exists (?HEAR) (and (instance ?HEAR Hearing) (patient ?HEAR ?RS) (agent ?HEAR ?PERSON))))))))) |
Mid-level-ontology.kif 26092-26110 |
|
|
|