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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MakingVocalMusic

Sigma KEE - MakingVocalMusic
MakingVocalMusic

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


(comment MakingVocalMusic "Currently, VocalMusic also inherits from Speaking. Changing this to more general Vocalizing. Acapella groups today use their VocalCord to create music in ways that are more than just speaking. (09-14-2011)" "KJN") Merge.kif 12732-12734
(documentation MakingVocalMusic ChineseLanguage "MakingVocalMusic 是一种 MakingMusic , 它是通过声带来制作音乐。") chinese_format.kif 1408-1409
(documentation MakingVocalMusic EnglishLanguage "MakingVocalMusic is a type of MakingMusic which is produced by using the vocal cords") Merge.kif 12729-12730
(externalImage MakingVocalMusic "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Melbourne_chorale.jpg") pictureList.kif 6963-6963
(externalImage MakingVocalMusic "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ 54-aspetti_di_vita_quotidiana%2C_canto_in_chiesa%2CTaccuino_Sani.jpg") pictureList.kif 8243-8243
(subclass MakingVocalMusic MakingMusic) Merge.kif 12727-12727 subclass MakingVocalMusic and MakingMusic
(subclass MakingVocalMusic Vocalizing) Merge.kif 12728-12728 subclass MakingVocalMusic and Vocalizing

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


(subclass Singing MakingVocalMusic) Merge.kif 12736-12736 subclass Singing and MakingVocalMusic
(termFormat ChineseLanguage MakingVocalMusic "唱歌") chinese_format.kif 1411-1411
(termFormat ChineseLanguage MakingVocalMusic "声乐") domainEnglishFormat.kif 61763-61763
(termFormat ChineseTraditionalLanguage MakingVocalMusic "聲樂") domainEnglishFormat.kif 61762-61762
(termFormat EnglishLanguage MakingVocalMusic "singing") english_format.kif 1857-1857
(termFormat EnglishLanguage MakingVocalMusic "vocal music") domainEnglishFormat.kif 61760-61760

appearance as argument number 3
-------------------------


(partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) Merge.kif 12710-12710 partition MakingMusic, MakingInstrumentalMusic and MakingVocalMusic

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


(=>
    (and
        (instance ?MUSIC MakingVocalMusic)
        (agent ?MUSIC ?GROUP)
        (instance ?GROUP Choir)
        (holdsDuring ?MUSIC
            (member ?MEM ?GROUP)))
    (exists (?SING)
        (and
            (instance ?SING Singing)
            (subProcess ?SING ?MUSIC)
            (agent ?SING ?MEM))))
Media.kif 1797-1807

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


(=>
    (and
        (instance ?GROUP Choir)
        (agent ?MUSIC ?GROUP)
        (instance ?MUSIC MakingMusic))
    (instance ?MUSIC MakingVocalMusic))
Media.kif 1777-1782
(=>
    (musician ?MR ?P ?R)
    (and
        (or
            (exists (?I)
                (equal ?R
                    (PlayingInstrumentFn ?I)))
            (equal ?R MakingVocalMusic))
        (agent ?R ?P)
        (result ?R ?MR)))
Music.kif 195-203


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