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

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 13340-13347

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 524-543	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 doesn't exist a third process such that the third process is an instance of seeing and the agent is a patient of the third process and another agent is an agent of the third process and there exists a fourth process 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.	Merge.kif 13364-13378	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 exists an object such that the object is an instance of human and the object is capable of doing the class described by a symbolic string as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19132-19135	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.	Mid-level-ontology.kif 11622-11624	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.	Cars.kif 3448-3478	If a physical is an instance of hearing protection, then the physical has the purpose if an entity is an instance of human and the entity wears the physical, then there exist another entity and a third entity such that the other entity is an instance of process and the third entity is a subclass of the class described by a fourth entity and the other entity prevents the occurrence of the third entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25471-25489	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