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

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22963-22963
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22962-22962
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22961-22961

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10084-10097
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10102-10107
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 9434-9439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9269-9275


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