| appearance as argument number 1 |
|
| (documentation musicChartBy EnglishLanguage "(musicChartBy ?CHART ?A) means that CognitiveAgent ?A was responsible for the process of deciding which objects are included in MusicChart ?CHART.") | Music.kif 1157-1159 | |
| (domain musicChartBy 2 CognitiveAgent) | Music.kif 1163-1163 | The number 2 argument of music chart by is an instance of cognitive agent |
| (domainSubclass musicChartBy 1 MusicChart) | Music.kif 1162-1162 | The number 1 argument of music chart by is a subclass of music charts |
| (instance musicChartBy BinaryPredicate) | Music.kif 1156-1156 | music chart by is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage musicChartBy "%1 是 ranked 由 %2 ") | domainEnglishFormat.kif 3922-3922 | |
| (format ChineseTraditionalLanguage musicChartBy "%1 是 ranked 由 %2 ") | domainEnglishFormat.kif 3921-3921 | |
| (format EnglishLanguage musicChartBy "%1 is ranked by %2") | domainEnglishFormat.kif 3920-3920 | |
| (termFormat EnglishLanguage musicChartBy "music chart by") | Music.kif 1160-1160 |
| antecedent |
|
|
| (=> (musicChartBy ?CHART ?AGENT) (exists (?P ?C) (and (instance ?C ?CHART) (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?C)))) |
Music.kif 1165-1172 |
|
|
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