Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| musicChartBy |
| appearance as argument number 1 |
|
| (instance musicChartBy BinaryPredicate) | Music.kif 1160-1160 | music chart by is an instance of binary predicate |
| (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 1161-1163 | music chart by is an instance of binary predicate |
| (domainSubclass musicChartBy 1 MusicChart) | Music.kif 1166-1166 | The number 1 argument of music chart by is a subclass of music charts |
| (domain musicChartBy 2 CognitiveAgent) | Music.kif 1167-1167 | The number 2 argument of music chart by is an instance of cognitive agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage musicChartBy "music chart by") | Music.kif 1164-1164 | |
| (format EnglishLanguage musicChartBy "%1 is ranked by %2") | domainEnglishFormat.kif 3918-3918 | |
| (format ChineseTraditionalLanguage musicChartBy "%1 是 ranked 由 %2 ") | domainEnglishFormat.kif 3919-3919 | |
| (format ChineseLanguage musicChartBy "%1 是 ranked 由 %2 ") | domainEnglishFormat.kif 3920-3920 |
| antecedent |
|
|
| (=> (musicChartBy ?CHART ?AGENT) (exists (?P ?C) (and (instance ?C ?CHART) (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?C)))) |
Music.kif 1169-1176 | If X is ranked by Y, then there exist Z, W such that W is an instance of X, Z is an instance of intentional process, Y is an agent of Z, and W is a result of Z |
|