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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalComponentFn
MusicalComponentFn

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


(documentation MusicalComponentFn EnglishLanguage "The function (MusicalComponentFn ?S) returns the instance of the MusicalComposition component of the Song ?S") Music.kif 901-902
(domain MusicalComponentFn 1 Song) Music.kif 905-905 The number 1 argument of musical composition function is an instance of song
(instance MusicalComponentFn UnaryFunction) Music.kif 900-900 Musical composition function is an instance of unary function
(range MusicalComponentFn MusicalComposition) Music.kif 906-906 The range of musical composition function is an instance of musical composition

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


(format ChineseLanguage MusicalComponentFn "%1 的 music ") domainEnglishFormat.kif 3914-3914
(format ChineseTraditionalLanguage MusicalComponentFn "%1 的 music ") domainEnglishFormat.kif 3913-3913
(format EnglishLanguage MusicalComponentFn "the music of %1") domainEnglishFormat.kif 3912-3912
(termFormat EnglishLanguage MusicalComponentFn "musical composition function") Music.kif 903-903

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


(=>
    (equal ?M
        (MusicalComponentFn ?S))
    (subProposition ?M ?S))
Music.kif 908-910


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