Eardrum - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Eardrum

Eardrum(myringa)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1624-1630
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1634-1634
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1623-1623	Myringa is a subclass of body part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1620-1620	connectedBodyPartTypes MalleusBone, myringa and human
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1631-1631
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1633-1633
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1632-1632

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.	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

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