Hearing - Sigma Knowledge base Browser

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 13722-13723
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13721-13721	Hearing is a subclass of perception

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13725-13732	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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13749-13763	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 21370-21373	If deafness 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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13493-13495	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 27761-27779	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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