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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12141-12141
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 12140-12140	Ear e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12139-12139	Ear e' uma sub-classe de Orgao

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 12143-12145	Objeto e' uma instancia de Ear Objeto e' capaz de fazer Ouvir no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12147-12152	Objeto e' uma instancia de Ear Objeto Objeto e' uma instancia de Head Objeto e' uma &parte de Objeto

consequent

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

Mid-level-ontology.kif 26041-26062

Fisico e' uma instancia de Earphone
Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de ElectricalSignalling Entidade e' um patient de Entidade Entidade termina em Fisico Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Som Irradiante Entidade tem como origem Fisico o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade Entidade e' uma instancia de Ear Fisico e' Adjacent em relacao a Entidade

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2876-2876	LeftEar e' uma sub-classe de BodySideFn Left and Ear
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2879-2879	RightEar e' uma sub-classe de BodySideFn Right and 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