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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Eye

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

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22972-22972
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22971-22971
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22970-22970

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10053-10055
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10057-10062

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10086-10099
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10104-10109
No TPTP formula. May not be expressible in strict first order. Cars.kif 3460-3486
No TPTP formula. May not be expressible in strict first order. Cars.kif 3488-3501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9436-9441
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9271-9277


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