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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalInterpretationFn
MusicalInterpretationFn

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


(documentation MusicalInterpretationFn EnglishLanguage "The function (MusicalInterpretationFn ?A ?M ?T) returns an instance of MakingMusic that refers to a particular instance of MakingMusic by CognitiveAgent ?A of the realization of Music ?M during TimeInterval ?T.") Music.kif 839-842
(domain MusicalInterpretationFn 1 CognitiveAgent) Music.kif 845-845 Le nombre 1 argument de MusicalInterpretationFn est une instance de agent cognitif
(domain MusicalInterpretationFn 2 Music) Music.kif 846-846 Le nombre 2 argument de MusicalInterpretationFn est une instance de musique
(domain MusicalInterpretationFn 3 TimeInterval) Music.kif 847-847 Le nombre 3 argument de MusicalInterpretationFn est une instance de interval temporel
(instance MusicalInterpretationFn TernaryFunction) Music.kif 838-838 MusicalInterpretationFn est une instance de fonction ternaire
(range MusicalInterpretationFn MakingMusic) Music.kif 848-848 Le domaine de MusicalInterpretationFn est une instance de MakingMusic

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


(format ChineseLanguage MusicalInterpretationFn "%2 的 interpretation 由 %1 在 %3 ") domainEnglishFormat.kif 3918-3918
(format ChineseTraditionalLanguage MusicalInterpretationFn "%2 的 interpretation 由 %1 在 %3 ") domainEnglishFormat.kif 3917-3917
(format EnglishLanguage MusicalInterpretationFn "the interpretation of %2 by %1 at %3") domainEnglishFormat.kif 3916-3916
(termFormat EnglishLanguage MusicalInterpretationFn "musical interpretation") Music.kif 843-843

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


(=>
    (equal ?MM
        (MusicalInterpretationFn ?A ?M ?T))
    (and
        (realization ?MM ?M)
        (equal ?T
            (WhenFn ?MM))
        (agent ?MM ?A)))
Music.kif 850-855


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