| 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 13722-13723 | |
| (subclass Hearing Perception) | Merge.kif 13721-13721 |
| appearance as argument number 2 |
|
|
| (subclass Listening Hearing) | Merge.kif 13765-13765 | |
| (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 de Hearing "Gehoer") | terms-de.txt 729-729 | |
| (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 1671-1678 | |
| (=> (and (instance ?HEAR Hearing) (patient ?HEAR ?OBJ)) (exists (?ATTR) (and (instance ?ATTR SoundAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 13725-13732 |
| 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 765-784 | |
| (=> (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 3508-3537 | |
| (=> (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 13749-13763 | |
| (=> (attribute ?A Deaf) (not (capability Hearing agent ?A))) |
Mid-level-ontology.kif 21370-21373 | |
| (=> (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn Eardrum))) (modalAttribute (not (exists (?HEAR) (and (instance ?HEAR Hearing) (during (WhenFn ?HEAR) ?T) (experiencer ?HEAR ?H)))) Likely)) |
Anatomy.kif 1680-1691 | |
| (=> (instance ?EAR Ear) (capability Hearing instrument ?EAR)) |
Mid-level-ontology.kif 13493-13495 | |
| (=> (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 27761-27779 |
|
|
|