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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 1848-1851
(documentation composer EnglishLanguage "(composer ?AGENT ?COMPOSITION) means that CognitiveAgent ?AGENT created MusicalComposition ?COMPOSITION") Music.kif 137-138
(domain composer 1 Agent) Media.kif 1845-1845 domain composer, 1 and Agent
(domain composer 1 CognitiveAgent) Music.kif 144-144 domain composer, 1 and CognitiveAgent
(domain composer 2 MusicalComposition) Music.kif 145-145 domain composer, 2 and MusicalComposition
(domainSubclass composer 2 MusicalComposition) Media.kif 1846-1846 domainSubclass composer, 2 and MusicalComposition
(instance composer AsymmetricRelation) Media.kif 1844-1844 instance composer and AsymmetricRelation
(instance composer BinaryPredicate) Media.kif 1843-1843 instance composer and BinaryPredicate
(subrelation composer authors) Media.kif 1847-1847 subrelation composer and authors
(subrelation composer creator) Music.kif 136-136 subrelation composer and creator

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


(format ChineseLanguage composer "%1 composed %2 ") domainEnglishFormat.kif 3055-3055
(format ChineseTraditionalLanguage composer "%1 composed %2 ") domainEnglishFormat.kif 3054-3054
(format EnglishLanguage composer "%1 composed %2") domainEnglishFormat.kif 3053-3053
(termFormat EnglishLanguage composer "composer") Music.kif 139-139 termFormat EnglishLanguage, composer and "composer"

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


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

consequent
-------------------------


(=>
    (and
        (authors ?AGENT ?CLASS)
        (subclass ?CLASS MusicalComposition))
    (composer ?AGENT ?CLASS))
Media.kif 1853-1857


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners