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 CognitiveAgent) Music.kif 144-144
(domain composer 2 MusicalComposition) Music.kif 145-145
(domainSubclass composer 2 MusicalComposition) Media.kif 1846-1846
(instance composer AsymmetricRelation) Media.kif 1844-1844
(instance composer BinaryPredicate) Media.kif 1843-1843
(subrelation composer authors) Media.kif 1847-1847
(subrelation composer creator) Music.kif 136-136

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


(format EnglishLanguage composer "%1 composed %2") domainEnglishFormat.kif 773-773
(termFormat EnglishLanguage composer "composer") Music.kif 139-139

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