| 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 3046-3046 | |
| (format ChineseTraditionalLanguage composer "%1 composed %2 ") | domainEnglishFormat.kif 3045-3045 | |
| (format EnglishLanguage composer "%1 composed %2") | domainEnglishFormat.kif 3044-3044 | |
| (termFormat EnglishLanguage composer "composer") | Music.kif 140-140 |
| antecedent |
|
|
| (=> (composer ?A ?M) (exists (?C) (and (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