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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Singing

Sigma KEE - Singing
Singing(singing)

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


(documentation Singing ChineseLanguage "Singing 是一种 MakingVocalMusic,当中歌手唱出歌词。 这个和 MakingVocalMusic 的其他形式如哼声或拟声吟唱或节奏口技等所不同的地方在于,其他这些形式的表演用 声带制作没有歌词的音乐。") chinese_format.kif 1412-1414
(documentation Singing EnglishLanguage "Singing is a type of MakingVocalMusic wherein words are produced by the singer. This is different from other forms of MakingVocalMusic such as humming or scatting or beatboxing, where the vocal cords are used to create the music but no words are formed.") Merge.kif 13484-13487
(externalImage Singing "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Patti_Smith_performing_in_Finland%2C_2007.jpg") pictureList.kif 6861-6861
(externalImage Singing "http://upload.wikimedia.org/wikipedia/commons/c/ c2/ Harry_Belafonte_singing_1954.jpg") pictureList.kif 7868-7868
(subclass Singing MakingVocalMusic) Merge.kif 13483-13483 Singing is a subclass of singing

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


(termFormat ChineseLanguage Singing "唱歌") domainEnglishFormat.kif 53139-53139
(termFormat ChineseTraditionalLanguage Singing "唱歌") domainEnglishFormat.kif 53138-53138
(termFormat EnglishLanguage Singing "singing") domainEnglishFormat.kif 53137-53137

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


(=>
    (instance ?S Singing)
    (exists (?W)
        (and
            (patient ?S ?W)
            (instance ?W Word))))
Merge.kif 13489-13494

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


(=>
    (and
        (instance ?MC MusicalComposition)
        (realization ?MC ?MUSIC))
    (not
        (exists (?LC ?V)
            (and
                (instance ?V Singing)
                (patient ?V ?LC)
                (instance ?LC LyricalContent)
                (subProcess ?V ?MUSIC)))))
Mid-level-ontology.kif 13218-13228
(=>
    (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 1793-1803
(=>
    (and
        (instance ?S Song)
        (realization ?S ?MUSIC))
    (exists (?MM ?MV ?LC ?MC)
        (and
            (instance ?MM MakingMusic)
            (instance ?MV Singing)
            (instance ?LC LyricalContent)
            (instance ?MC MusicalComposition)
            (patient ?MM ?MC)
            (patient ?MV ?LC)
            (subProcess ?MM ?MUSIC)
            (subProcess ?MV ?MUSIC))))
Mid-level-ontology.kif 13237-13250
(=>
    (attribute ?PERSON SoloSinger)
    (hasSkill ?PERSON Singing))
Music.kif 1431-1433
(=>
    (instance ?CONTEST SingingContest)
    (exists (?J)
        (and
            (instance ?J Judging)
            (forall (?A)
                (=>
                    (contestParticipant ?CONTEST ?A)
                    (exists (?MV)
                        (and
                            (agent ?MV ?A)
                            (instance ?MV Singing)
                            (subProcess ?MV ?CONTEST)
                            (patient ?J ?MV))))))))
Music.kif 1020-1033
(=>
    (instance ?LYRIC Lyrics)
    (hasPurpose ?LYRIC
        (exists (?SING)
            (and
                (instance ?SING Singing)
                (patient ?SING ?LYRIC)))))
Mid-level-ontology.kif 658-664
(=>
    (instance ?X LyricalContent)
    (hasPurpose ?X
        (exists (?S)
            (and
                (instance ?S Singing)
                (patient ?S ?X)))))
Mid-level-ontology.kif 13260-13266


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