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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MusicalInterpretationFn

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 836-839
(domain MusicalInterpretationFn 1 CognitiveAgent) Music.kif 842-842
(domain MusicalInterpretationFn 2 Music) Music.kif 843-843
(domain MusicalInterpretationFn 3 TimeInterval) Music.kif 844-844
(instance MusicalInterpretationFn TernaryFunction) Music.kif 835-835
(range MusicalInterpretationFn MakingMusic) Music.kif 845-845

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


(format ChineseLanguage MusicalInterpretationFn "%2 的 interpretation 由 %1 在 %3 ") domainEnglishFormat.kif 3923-3923
(format ChineseTraditionalLanguage MusicalInterpretationFn "%2 的 interpretation 由 %1 在 %3 ") domainEnglishFormat.kif 3922-3922
(format EnglishLanguage MusicalInterpretationFn "the interpretation of %2 by %1 at %3") domainEnglishFormat.kif 3921-3921
(termFormat EnglishLanguage MusicalInterpretationFn "musical interpretation") Music.kif 840-840

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


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


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