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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Dismounting

Sigma KEE - Dismounting
Dismounting(dismounting)
dismount, get_down, get_off, light, unhorse

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


(documentation Dismounting EnglishLanguage "Any BodyMotion which results in not being On something else.") Mid-level-ontology.kif 20000-20001
(externalImage Dismounting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Fremont_Solstice_Parade_2007_-_gymnasts_12-6.jpg") pictureList.kif 2662-2662
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19999-19999 Dismounting is a subclass of body motion

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


(termFormat ChineseLanguage Dismounting "拆卸") domainEnglishFormat.kif 19884-19884
(termFormat ChineseTraditionalLanguage Dismounting "拆卸") domainEnglishFormat.kif 19883-19883
(termFormat EnglishLanguage Dismounting "dismounting") domainEnglishFormat.kif 19882-19882

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


(=>
    (and
        (instance ?D Dismounting)
        (agent ?D ?A)
        (patient ?D ?O))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?D))
            (orientation ?A ?O On))
        (holdsDuring
            (EndFn
                (WhenFn ?D))
            (not
                (orientation ?A ?O On)))))
Mid-level-ontology.kif 20003-20015


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