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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SongFn
SongFn

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


(documentation SongFn EnglishLanguage "The function (SongFn ?MC ?LC) returns an instance of Song that refers to the conception of a song that has MusicalComposition ?MC and LyricalContent ?LC.") Music.kif 858-860
(domain SongFn 1 MusicalComposition) Music.kif 863-863 The number 1 argument of song function is an instance of musical composition
(domain SongFn 2 LyricalContent) Music.kif 864-864 The number 2 argument of song function is an instance of lyrical content
(instance SongFn BinaryFunction) Music.kif 857-857 Song function is an instance of binary function
(range SongFn Song) Music.kif 865-865 The range of song function is an instance of song

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


(format ChineseLanguage SongFn "song 构成 %1 和 %2 ") domainEnglishFormat.kif 4578-4578
(format ChineseTraditionalLanguage SongFn "song 構成 %1 和 %2 ") domainEnglishFormat.kif 4577-4577
(format EnglishLanguage SongFn "the song comprising %1 and %2") domainEnglishFormat.kif 4576-4576
(termFormat EnglishLanguage SongFn "song function") Music.kif 861-861

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


(=>
    (and
        (equal ?S
            (SongFn ?MC ?LC))
        (realization ?S ?MUSIC))
    (exists (?MM ?MV)
        (and
            (patient ?MM ?MC)
            (patient ?MV ?LC)
            (subProcess ?MM ?MUSIC)
            (subProcess ?MV ?MUSIC))))
Music.kif 867-876


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