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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Dancing
Dancing

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


(documentation Dancing ChineseLanguage "这是 Humans 固意配合音乐的任何 BodyMotion。") chinese_format.kif 3014-3014
(documentation Dancing EnglishLanguage "Any BodyMotion of Humans which is deliberately coordinated with music.") Merge.kif 11219-11220
(documentation Dancing JapaneseLanguage "意図的に音楽と調整されている Human の任意の BodyMotion。") japanese_format.kif 1777-1778
(externalImage Dancing "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8b/ MIT_2006_Standard_Prechamp_Final_2.jpg/ 250px-MIT_2006_Standard_Prechamp_Final_2.jpg") pictureList.kif 1088-1088
(subclass Dancing BodyMotion) Merge.kif 11217-11217

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


(termFormat ChineseLanguage Dancing "跳舞") chinese_format.kif 1117-1117
(termFormat EnglishLanguage Dancing "dancing") english_format.kif 1451-1451
(termFormat FrenchLanguage Dancing "dancer") french_format.kif 795-795
(termFormat Hindi Dancing "naachanaa") terms-hindi.txt 327-327
(termFormat ItalianLanguage Dancing "Ballare") terms-it.txt 330-330
(termFormat JapaneseLanguage Dancing "踊り") japanese_format.kif 2479-2479
(termFormat PortugueseLanguage Dancing "Dancar") portuguese_format.kif 747-747
(termFormat cb Dancing "pagsayaw") terms-cb.txt 332-332
(termFormat cz Dancing "dancing") terms-cz.txt 366-366
(termFormat ro Dancing "dans") relations-ro.kif 816-816
(termFormat tg Dancing "sumasayaw") terms-tg.txt 331-331

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


(=>
    (and
        (instance ?G Choreographing)
        (result ?G ?P)
        (realization ?D ?P))
    (instance ?D Dancing))
Mid-level-ontology.kif 16265-16270
(=>
    (attribute ?PERSON Dancer)
    (hasSkill Dancing ?PERSON))
Biography.kif 673-675
(=>
    (instance ?DISCO DanceHall)
    (hasPurpose ?DISCO
        (exists (?DANCE ?MUSIC)
            (and
                (instance ?MUSIC MakingMusic)
                (instance ?DANCE Dancing)
                (cooccur ?MUSIC ?DANCE)
                (eventLocated ?MUSIC ?DISCO)
                (eventLocated ?DANCE ?DISCO)))))
Mid-level-ontology.kif 27125-27134


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