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
-------------------------


s__comment(s__composer__m,'Right now, composer is a subrelation of authors, but authors is related to a Text versus to a Proposition, so Im 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
s__documentation(s__composer__m,s__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
s__documentation(s__composer__m,s__EnglishLanguage,'(composer ?AGENT ?COMPOSITION) means that CognitiveAgent ?AGENT created MusicalComposition ?COMPOSITION')

Music.kif 137-138
s__domain(s__composer__m,1,s__Agent)

Media.kif 1845-1845 The number 1 argument of composer is an instance of agent
s__domain(s__composer__m,1,s__CognitiveAgent)

Music.kif 144-144 The number 1 argument of composer is an instance of cognitive agent
s__domain(s__composer__m,2,s__MusicalComposition)

Music.kif 145-145 The number 2 argument of composer is an instance of musical composition
s__domainSubclass(s__composer__m,2,s__MusicalComposition)

Media.kif 1846-1846 The number 2 argument of composer is a subclass of musical composition
s__instance(s__AsymmetricRelation,s__SetOrClass)

Media.kif 1844-1844 composer is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

Media.kif 1843-1843 composer is an instance of binary predicate
s__subrelation(s__composer__m,s__authors__m)

Media.kif 1847-1847 composer is a subrelation of authors
s__subrelation(s__composer__m,s__creator__m)

Music.kif 136-136 composer is a subrelation of creator

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


s__format(s__EnglishLanguage,s__composer__m,'%1 composed %2')

domainEnglishFormat.kif 773-773
s__termFormat(s__EnglishLanguage,s__composer__m,'composer')

Music.kif 139-139 "composer" is the printable form of composer in english language

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


( ! [V__A,V__M] :
   (s__composer(V__A,V__M)
   =>
   (? [V__C] :
     (s__agent(V__C,V__A)
     &
     s__result(V__C,V__M))))
)

Music.kif 147-152

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


( ! [V__AGENT,V__CLASS] :
   ((s__authors(V__AGENT,V__CLASS)
     &
     s__subclass(V__CLASS,s__MusicalComposition))
   =>
   s__composer(V__AGENT,V__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