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 Le nombre 1 argument de MusicalComponentFn est une instance de Song
(instance MusicalComponentFn UnaryFunction) Music.kif 900-900 MusicalComponentFn est une instance de function unaire
(range MusicalComponentFn MusicalComposition) Music.kif 906-906 Le domaine de MusicalComponentFn est une instance de MusicalComposition

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