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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3317-3318
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13583-13584
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13582-13582	Hearing is a subclass of perception

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13626-13626	Listening is a subclass of hearing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1220-1220
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1661-1661
No TPTP formula. May not be expressible in strict first order.	french_format.kif 898-898
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 431-431
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 434-434
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2582-2582
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 850-850
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 436-436
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 470-470
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 919-919
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 435-435

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13586-13593	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13610-13624	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19782-19785	If deaf is an attribute of an object, then the object is not capable of doing hearing as a agent
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12144-12146	If an object is an instance of ear, then the object is capable of doing hearing as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26104-26122	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