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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 The number 1 argument of composer is an instance of cognitive agent
(domain composer 2 MusicalComposition) Music.kif 146-146 The number 2 argument of composer is an instance of musical composition
(instance composer BinaryPredicate) Music.kif 136-136 composer is an instance of binary predicate
(subrelation composer creator) Music.kif 137-137 composer is a subrelation of creator

appearance as argument number 2

(format ChineseLanguage composer "%1 composed %2 ") domainEnglishFormat.kif 3054-3054
(format ChineseTraditionalLanguage composer "%1 composed %2 ") domainEnglishFormat.kif 3053-3053
(format EnglishLanguage composer "%1 composed %2") domainEnglishFormat.kif 3052-3052
(termFormat EnglishLanguage composer "composer") Music.kif 140-140


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

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