| 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 1159-1161 | |
| (domain musicChartBy 2 CognitiveAgent) | Music.kif 1165-1165 | The number 2 argument of music chart by is an instance of cognitive agent |
| (domainSubclass musicChartBy 1 MusicChart) | Music.kif 1164-1164 | The number 1 argument of music chart by is a subclass of music charts |
| (instance musicChartBy BinaryPredicate) | Music.kif 1158-1158 | music chart by is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage musicChartBy "%1 是 ranked 由 %2 ") | domainEnglishFormat.kif 3920-3920 | |
| (format ChineseTraditionalLanguage musicChartBy "%1 是 ranked 由 %2 ") | domainEnglishFormat.kif 3919-3919 | |
| (format EnglishLanguage musicChartBy "%1 is ranked by %2") | domainEnglishFormat.kif 3918-3918 | |
| (termFormat EnglishLanguage musicChartBy "music chart by") | Music.kif 1162-1162 |
| antecedent |
|
|
| (=> (musicChartBy ?CHART ?AGENT) (exists (?P ?C) (and (instance ?C ?CHART) (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?C)))) |
Music.kif 1167-1174 |
|
|
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