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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MusicalComponentFn

 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 域 MusicalComponentFn, 1 and 歌曲
(instance MusicalComponentFn UnaryFunction) Music.kif 900-900 例 MusicalComponentFn and UnaryFunction
(range MusicalComponentFn MusicalComposition) Music.kif 906-906 範圍 MusicalComponentFn and 音樂作品

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

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