TreeView Knowledge Base Browser - Hearing

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Hearing

Hearing(hearing)

audile, auditive, auditory, auditory_image, auditory_perception, auditory_sensation, aural, aurally, auricular, biauricular, binaurally, catch, eavesdrop, get, hark, harken, hear, hear_out, heard, hearing, hearken, in_both_ears, in_one_ear, listen_in, listening, melody, monaurally, musical_perception, overhear, rehearing, relistening, sound, sound_perception, speech_perception, take_in, to_both_ears, to_one_ear, tonal_pattern

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	Hearing is a subclass of perception

appearance as argument number 2

(subclass Listening Hearing)	Merge.kif 13780-13780	Listening is a subclass of hearing
(termFormat ChineseLanguage Hearing "听")	chinese_format.kif 1220-1220	Listening is a subclass of hearing
(termFormat EnglishLanguage Hearing "hearing")	english_format.kif 1661-1661	Listening is a subclass of hearing
(termFormat FrenchLanguage Hearing "entendre")	french_format.kif 898-898	Listening is a subclass of hearing
(termFormat Hindi Hearing "sunanaa")	terms-hindi.txt 431-431	Listening is a subclass of hearing
(termFormat ItalianLanguage Hearing "Udito")	terms-it.txt 434-434	Listening is a subclass of hearing
(termFormat JapaneseLanguage Hearing "聴覚")	japanese_format.kif 2582-2582	Listening is a subclass of hearing
(termFormat PortugueseLanguage Hearing "Ouvir")	portuguese_format.kif 850-850	Listening is a subclass of hearing
(termFormat cb Hearing "pagdungngog")	terms-cb.txt 436-436	Listening is a subclass of hearing
(termFormat cz Hearing "hearing")	terms-cz.txt 470-470	Listening is a subclass of hearing
(termFormat de Hearing "Gehoer")	terms-de.txt 729-729	Listening is a subclass of hearing
(termFormat ro Hearing "auz")	relations-ro.kif 919-919	Listening is a subclass of hearing
(termFormat tg Hearing "naririnig")	terms-tg.txt 435-435	Listening is a subclass of hearing

antecedent

(=> (and (instance ?E Eardrum) (part ?E ?H) (experiencer ?HEAR ?H) (attribute ?H Healthy) (instance ?HEAR Hearing)) (instrument ?HEAR ?E))	Anatomy.kif 1671-1678	If an object is an instance of myringa and the object is a part of an agent and the agent experiences the agentEAR and healthy is an attribute of the agent and the agentEAR is an instance of hearing, then the object is an instrument for the agentEAR
(=> (and (instance ?HEAR Hearing) (patient ?HEAR ?OBJ)) (exists (?ATTR) (and (instance ?ATTR SoundAttribute) (attribute ?OBJ ?ATTR))))	Merge.kif 13740-13747	If a process is an instance of hearing and an object is a patient of the process, then there exists an attribute such that the attribute is an instance of sound attribute and the attribute is an attribute of the object

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	If voice actor is an attribute of an agent and a process is an instance of dramatic acting and the agent is an agent of the process and another process is an instance of linguistic communication and the agent is an agent of the other process and the other process is a subprocess of the process, then there don't exist a third process and another agent such that the third process is an instance of seeing and the agent is a patient of the third process and the other agent is an agent of the third process and there exist a fourth process and the other agent such that the fourth process is an instance of hearing and the agent is a patient of the fourth process and the other agent is an agent of the fourth process
(=> (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	If a wearable item is an instance of hearing protection and an animal is an instance of human and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity and the wearable item is an instrument for the entity
(=> (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 13764-13778	If a process is an instance of radiating sound and an agent is an agent of the process and audible is an attribute of the process, then there exist an object and a symbolic string such that the object is an instance of human and the object is capable of doing the class described by the symbolic string as a agent
(=> (attribute ?A Deaf) (not (capability Hearing agent ?A)))	Mid-level-ontology.kif 21353-21356	If deafness is an attribute of an object, then the object is not capable of doing hearing as a agent
(=> (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	If impaired body part fn myringa is an attribute of an entity holds during a time position, then the statement there doesn't exist the entityEAR such that the entityEAR is an instance of hearing and the time of existence of the entityEAR takes place during the time position and the entity experiences the entityEAR has the modal force of likely
(=> (instance ?EAR Ear) (capability Hearing instrument ?EAR))	Mid-level-ontology.kif 13475-13477	If an object is an instance of ear, then the object is capable of doing hearing as a instrument
(=> (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 28002-28020	If a physical is an instance of public address system, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of land area and the physical is located at the other entity and the third entity is an instance of group of people and the third entity is located at the other entity and the entity is an instance of radiating sound and the physical is an instrument for the entity and for all a fourth entity if the fourth entity is a member of the third entity, then there exists a fifth entity such that the fifth entity is an instance of hearing and the entity is a patient of the fifth entity and the fourth entity is an agent of the fifth entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners