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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 19940-19941
(externalImage EyeMotion "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Eye_iris.jpg") pictureList.kif 2673-2673
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19939-19939 EyeMotion動作subclass では %n

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


(subclass ClosingEyes EyeMotion) Mid-level-ontology.kif 19959-19959 ClosingEyesEyeMotionsubclass では %n
(subclass OpeningEyes EyeMotion) Mid-level-ontology.kif 19953-19953 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 19943-19951


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