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 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 眼睛动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12106-12106 眼睛器官subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12135-12135 %每个 Cornea眼睛initially part
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 LeftEyeBodySideFn and 眼睛subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2885-2885 RightEyeBodySideFn and 眼睛subclass


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