Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Hearing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Hearing Perception) | Merge.kif 13892-13892 | Hearing is a subclass of perception |
| (documentation Hearing EnglishLanguage "The subclass of Perception in which the sensing is done by an auditory Organ.") | Merge.kif 13893-13894 | Hearing is a subclass of perception |
| appearance as argument number 2 |
|
|
| (subclass Listening Hearing) | Merge.kif 13936-13936 | Listening is a subclass of hearing |
| (termFormat EnglishLanguage Hearing "hearing") | english_format.kif 1665-1665 | Listening is a subclass of hearing |
| antecedent |
|
|
| (=> (and (instance ?HEAR Hearing) (patient ?HEAR ?OBJ)) (exists (?ATTR) (and (instance ?ATTR SoundAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 13896-13903 | If X is an instance of hearing and Y is a patient of X, then there exists Z such that Z is an instance of sound attribute and Z is an attribute of Y |
| (=> (and (instance ?E Eardrum) (part ?E ?H) (experiencer ?HEAR ?H) (attribute ?H Healthy) (instance ?HEAR Hearing)) (instrument ?HEAR ?E)) |
Anatomy.kif 1658-1665 | If X is an instance of myringa, X is a part of Y, Y experiences Z, healthy is an attribute of Y, and Z is an instance of hearing, then X is an instrument for Z |
| consequent |
|
|
| (=> (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 13920-13934 | If X is an instance of radiating sound, Y is an agent of X, and audible is an attribute of X, then there exist Z, W such that Z is an instance of human, and Z is capable of doing the class described by W as a agent |
| (=> (instance ?EAR Ear) (capability Hearing instrument ?EAR)) |
Mid-level-ontology.kif 13775-13777 | If X is an instance of ear, then X is capable of doing hearing as a instrument |
| (=> (attribute ?A Deaf) (not (capability Hearing agent ?A))) |
Mid-level-ontology.kif 21684-21687 | If deafness is an attribute of X, then X is not capable of doing hearing as a agent |
| (=> (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 28674-28692 | If X is an instance of public address system, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of land area (3) X is located at Z (4) W is an instance of group of people (5) W is located at Z (6) Y is an instance of radiating sound (7) X is an instrument for Y (8) V V is a member of Wthere exists U such that U is an instance of hearing (9) Y is a patient of U (10) V is an agent of U |
| (=> (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn Eardrum))) (modalAttribute (not (exists (?HEAR) (and (instance ?HEAR Hearing) (during (WhenFn ?HEAR) ?T) (experiencer ?HEAR ?H)))) Likely)) |
Anatomy.kif 1667-1678 | If impaired body part fn myringa is an attribute of X holds during Y, then the statement there doesn't exist Z such that Z is an instance of hearing, the time of existence of Z takes place during Y, and X experiences Z has the modal force of likely |
| (=> (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 760-779 | If All of the following hold: (1) voice actor is an attribute of X (2) Y is an instance of dramatic acting (3) X is an agent of Y (4) Z is an instance of linguistic communication (5) X is an agent of Z (6) Z is a subprocess of Y, then there don't exist W, V such that W is an instance of seeing, X is a patient of W, and V is an agent of W and there exist U, V such that U is an instance of hearing, X is a patient of U, and V is an agent of U |
| (=> (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 3312-3341 | If X is an instance of hearing protection, Y is an instance of human, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, W is a subclass of the class described by V, Z prevents the occurrence of W, and X is an instrument for Z |
|