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 903-904
(domain MusicalComponentFn 1 Song) Music.kif 907-907 The number 1 argument of musical composition function is an instance of song
(instance MusicalComponentFn UnaryFunction) Music.kif 902-902 Musical composition function is an instance of unary function
(range MusicalComponentFn MusicalComposition) Music.kif 908-908 The range of musical composition function is an instance of musical composition

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


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

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


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


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