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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EyeMotion

Sigma KEE - EyeMotion
EyeMotion

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


(documentation EyeMotion EnglishLanguage "Any Motion where a patient is the agent's own Eyelid or Eyelids.") Mid-level-ontology.kif 19967-19968
(externalImage EyeMotion "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Eye_iris.jpg") pictureList.kif 2673-2673
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19966-19966 EyeMotion動作subclass では %n

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


(subclass ClosingEyes EyeMotion) Mid-level-ontology.kif 19986-19986 ClosingEyesEyeMotionsubclass では %n
(subclass OpeningEyes EyeMotion) Mid-level-ontology.kif 19980-19980 OpeningEyesEyeMotionsubclass では %n
(termFormat ChineseLanguage EyeMotion "眼球运动") domainEnglishFormat.kif 23056-23056
(termFormat ChineseTraditionalLanguage EyeMotion "眼球運動") domainEnglishFormat.kif 23055-23055
(termFormat EnglishLanguage EyeMotion "eye motion") domainEnglishFormat.kif 23054-23054

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


(=>
    (and
        (instance ?EM EyeMotion)
        (agent ?EM ?A))
    (exists (?E)
        (and
            (instance ?E Eyelid)
            (part ?E ?A)
            (patient ?EM ?E))))
Mid-level-ontology.kif 19970-19978


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