| 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 12612-12613 | |
| (subclass Hearing Perception) | Merge.kif 12611-12611 |
| appearance as argument number 2 |
|
|
| (subclass Listening Hearing) | Merge.kif 12655-12655 | |
| (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 12615-12622 |
| consequent |
|
|
| (=> (and (attribute ?ACTOR VoiceActor) (instance ?DRAMA DramaticActing) (agent ?DRAMA ?ACTOR) (instance ?SPEAK LinguisticCommunication) (agent ?SPEAK ?ACTOR) (subProcess ?SPEAK ?DRAMA)) (and (not (exists (?S) (and (instance ?S Seeing) (patient ?S ?ACTOR) (agent ?S ?VIEWER)))) (exists (?H) (and (instance ?H Hearing) (patient ?H ?ACTOR) (agent ?H ?VIEWER))))) |
Biography.kif 518-537 | |
| (=> (and (instance ?SOUND RadiatingSound) (agent ?SOUND ?OBJ) (attribute ?SOUND Audible)) (exists (?HUMAN) (and (instance ?HUMAN Human) (capability (KappaFn ?HEAR (and (instance ?HEAR Hearing) (agent ?HEAR ?HUMAN) (destination ?HEAR ?HUMAN) (origin ?HEAR ?OBJ))) agent ?HUMAN)))) |
Merge.kif 12639-12653 | |
| (=> (attribute ?A Deaf) (not (capability Hearing agent ?A))) |
Mid-level-ontology.kif 17598-17601 | |
| (=> (instance ?EAR Ear) (capability Hearing instrument ?EAR)) |
Mid-level-ontology.kif 10068-10070 | |
| (=> (instance ?HP HearingProtection) (hasPurpose ?HP (=> (and (instance ?PERSON Human) (wears ?PERSON ?HP)) (exists (?PROC ?INJ) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN) (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 3462-3492 | |
| (=> (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 24136-24154 |
|
|
|