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 140-143
(documentation composer EnglishLanguage "(composer ?AGENT ?COMPCLASS) means that ?AGENT wrote (created the propositional content) expressed in all instances of the subclass of MusicalComposition ?COMPCLASS.") Media.kif 1844-1847
(documentation composer EnglishLanguage "(composer ?AGENT ?COMPOSITION) means that CognitiveAgent ?AGENT created MusicalComposition ?COMPOSITION") Music.kif 137-138
(domain composer 1 Agent) Media.kif 1841-1841
(domain composer 1 CognitiveAgent) Music.kif 144-144
(domain composer 2 MusicalComposition) Music.kif 145-145
(domainSubclass composer 2 MusicalComposition) Media.kif 1842-1842
(instance composer AsymmetricRelation) Media.kif 1840-1840
(instance composer BinaryPredicate) Media.kif 1839-1839
(subrelation composer authors) Media.kif 1843-1843
(subrelation composer creator) Music.kif 136-136

appearance as argument number 2

(format ChineseLanguage composer "%1 composed %2 ") domainEnglishFormat.kif 3059-3059
(format ChineseTraditionalLanguage composer "%1 composed %2 ") domainEnglishFormat.kif 3058-3058
(format EnglishLanguage composer "%1 composed %2") domainEnglishFormat.kif 3057-3057
(termFormat EnglishLanguage composer "composer") Music.kif 139-139


    (composer ?A ?M)
    (exists (?C)
            (agent ?C ?A)
            (result ?C ?M))))
Music.kif 147-152


        (authors ?AGENT ?CLASS)
        (subclass ?CLASS MusicalComposition))
    (composer ?AGENT ?CLASS))
Media.kif 1849-1853

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