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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SongFn

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 Le nombre 1 argument de SongFn est une instance de MusicalComposition
(domain SongFn 2 LyricalContent) Music.kif 864-864 Le nombre 2 argument de SongFn est une instance de LyricalContent
(instance SongFn BinaryFunction) Music.kif 857-857 SongFn est une instance de fonction binaire
(range SongFn Song) Music.kif 865-865 Le domaine de SongFn est une instance de 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 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