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


KB Term:  Term intersection
English Word: 

Sigma KEE - Dancing
Dancing(dancing)
Charleston, Hawaiian_dancing, Scottish_reel, Virginia_reel, adagio, apache_dance, apache_devil_dance, ballet, balletic, ballroom_dance, ballroom_dancing, bebop, beguine, belly_dance, belly_dancing, bolero, boogie, bop, break, break-dance, break_dance, break_dancing, bubble_dance, buck-and-wing, bump, bunny_hug, cakewalk, cancan, capriole, carioca, ceremonial_dance, cha-cha, cha-cha-cha, chasse, choreography, classical_ballet, clog, clog_dance, clog_dancing, comedy_ballet, concert_dance, conga, contra_danse, contradance, contredanse, corn_dance, cotilion, cotillion, country-dance, country_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 11345-11346
(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 11343-11343 Dancing is a subclass of body motion

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 de Dancing "Tanzen") terms-de.txt 625-625
(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 17420-17425
(=>
    (attribute ?PERSON Dancer)
    (hasSkill Dancing ?PERSON))		 Biography.kif 681-683
(=>
    (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 28746-28755


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