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 13629-13630
(subclass Hearing Perception)	Merge.kif 13628-13628	Hearing is a subclass of perception

appearance as argument number 2

(subclass Listening Hearing)	Merge.kif 13672-13672	Listening is a subclass of hearing
(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	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 13632-13639	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 757-776	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 3432-3461	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 13656-13670	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 19809-19812	If deaf 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 1645-1656	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 12171-12173	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 26137-26155	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