Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Eye

 Sigma KEE - Eye
Eye

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12107-12107
No TPTP formula. May not be expressible in strict first order. pictureList.kif 421-421
No TPTP formula. May not be expressible in strict first order. pictureList.kif 87-87
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12106-12106 Eye e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12105-12105 Eye e' uma sub-classe de Orgao

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12134-12134 initialPart Cornea and Eye
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23038-23038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23037-23037
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23036-23036

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12109-12111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12113-12118

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 1129-1139
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1439-1448
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1469-1481
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1488-1500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12162-12175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12181-12186
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12125-12131
No TPTP formula. May not be expressible in strict first order. Cars.kif 3490-3517
No TPTP formula. May not be expressible in strict first order. Cars.kif 3519-3532
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11057-11062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12374-12382
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1718-1724

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2882-2882 LeftEye e' uma sub-classe de BodySideFn Left and Eye
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2885-2885 RightEye e' uma sub-classe de BodySideFn Right and Eye


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