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

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


(format ChineseLanguage MusicalComponentFn "%1 的 music ") domainEnglishFormat.kif 3919-3919
(format ChineseTraditionalLanguage MusicalComponentFn "%1 的 music ") domainEnglishFormat.kif 3918-3918
(format EnglishLanguage MusicalComponentFn "the music of %1") domainEnglishFormat.kif 3917-3917
(termFormat EnglishLanguage MusicalComponentFn "musical composition function") Music.kif 900-900

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


(=>
    (equal ?M
        (MusicalComponentFn ?S))
    (subProposition ?M ?S))
Music.kif 905-907


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