TreeView Knowledge Base Browser - Ear

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Ear

Sigma KEE - Ear

Ear(ear)

auricle, ear, pinna, rabbit_ears

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12169-12169
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 403-403
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 84-84
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12168-12168	Ear is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12167-12167	Ear is a subclass of organ

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20784-20784
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20783-20783
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20782-20782

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12175-12180	If an object is an instance of ear, then there exists another object such that the other object is an instance of head and the object is a part of the other object

consequent

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

Mid-level-ontology.kif 26086-26107

If a physical is an instance of earphone,
then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of electrical signalling and the third entity is a patient of the entity and the entity ends up at the physical and the fifth entity is an instance of process and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity and the other entity is a result of the fifth entity and the other entity is an instance of radiating sound and the other entity originates at the physical and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fifth entity and the beginning of the time of existence of the fifth entity happens before the beginning of the time of existence of the other entity and the fourth entity is an instance of ear and the physical is adjacent to the fourth entity

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2876-2876	Left ear is a subclass of the left ear
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2879-2879	Right ear is a subclass of the right ear

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