musicChartBy |
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 | |
(domainSubclass musicChartBy 1 MusicChart) | Music.kif 1162-1162 | |
(instance musicChartBy BinaryPredicate) | Music.kif 1156-1156 |
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 |