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
(domain SongFn 2 LyricalContent) Music.kif 864-864
(instance SongFn BinaryFunction) Music.kif 857-857
(range SongFn Song) Music.kif 865-865

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