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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Eye
Eye(eye)
OD, OS, compound_eye, eye, naked_eye, ocellus, oculus, oculus_dexter, oculus_sinister, optic, peeper, simple_eye, stemma

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12108-12108
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 12107-12107 Eye is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12106-12106 Eye is a subclass of organ

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12135-12135 Every cornea is initially part of a 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 12110-12112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12114-12119

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 12163-12176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12182-12187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12126-12132
No TPTP formula. May not be expressible in strict first order. Cars.kif 3482-3509
No TPTP formula. May not be expressible in strict first order. Cars.kif 3511-3524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11058-11063
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12375-12383
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 Left eye is a subclass of the left eye
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2885-2885 Right eye is a subclass of the right eye


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