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 13439-13439
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 13438-13438 Eye is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13437-13437 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 13466-13466 Every cornea is initially part of a eye
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23041-23041 Every cornea is initially part of a eye
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23040-23040 Every cornea is initially part of a eye
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23039-23039 Every cornea is initially part of a eye

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13441-13443
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13445-13450

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 1474-1483
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1504-1516
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1523-1535
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13494-13507
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13513-13518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13457-13463
No TPTP formula. May not be expressible in strict first order. Cars.kif 3543-3570
No TPTP formula. May not be expressible in strict first order. Cars.kif 3572-3585
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12389-12394
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13706-13714
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1711-1717

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2883-2883 Left eye is a subclass of the left eye
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2886-2886 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