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

Formal Language: 


KB Term:  Term intersection
English Word: 

  composer

 Sigma KEE - composer
composer

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


(comment composer "Right now, composer is a subrelation of authors, but authors is related to a Text versus to a Proposition, so I'm changing it such that compsoer now is a subrelation of creator, so that it can work with MusicalComposition, which is now a subclass of Proposition. (09-14-2011)" "KJN") Music.kif 141-144
(documentation composer EnglishLanguage "(composer ?AGENT ?COMPOSITION) means that CognitiveAgent ?AGENT created MusicalComposition ?COMPOSITION") Music.kif 138-139
(domain composer 1 CognitiveAgent) Music.kif 145-145
(domain composer 2 MusicalComposition) Music.kif 146-146
(instance composer BinaryPredicate) Music.kif 136-136
(subrelation composer creator) Music.kif 137-137

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


(format ChineseLanguage composer "%1 composed %2 ") domainEnglishFormat.kif 3050-3050
(format ChineseTraditionalLanguage composer "%1 composed %2 ") domainEnglishFormat.kif 3049-3049
(format EnglishLanguage composer "%1 composed %2") domainEnglishFormat.kif 3048-3048
(termFormat EnglishLanguage composer "composer") Music.kif 140-140

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


(=>
    (composer ?A ?M)
    (exists (?C)
        (and
            (instance ?C Creation)
            (agent ?C ?A)
            (result ?C ?M))))		 Music.kif 148-154


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