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 854-856
(domain SongFn 1 MusicalComposition) Music.kif 859-859
(domain SongFn 2 LyricalContent) Music.kif 860-860
(instance SongFn BinaryFunction) Music.kif 853-853
(range SongFn Song) Music.kif 861-861

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


(format ChineseLanguage SongFn "song 构成 %1 和 %2 ") domainEnglishFormat.kif 4583-4583
(format ChineseTraditionalLanguage SongFn "song 構成 %1 和 %2 ") domainEnglishFormat.kif 4582-4582
(format EnglishLanguage SongFn "the song comprising %1 and %2") domainEnglishFormat.kif 4581-4581
(termFormat EnglishLanguage SongFn "song function") Music.kif 857-857

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 863-872


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners