Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SinglesChart(singles chart) |
| appearance as argument number 1 |
|
| (subclass SinglesChart MusicChart) | Music.kif 1136-1136 | Singles chart is a subclass of music charts |
| (documentation SinglesChart EnglishLanguage "SinglesChart is a type of MusicChart for particular MusicRecording.") | Music.kif 1137-1138 | Singles chart is a subclass of music charts |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SinglesChart "singles chart") | Music.kif 1139-1139 |
| antecedent |
|
|
| (=> (instance ?X SinglesChart) (exists (?MR) (and (instance ?MR MusicRecording) (inList ?MR ?X)))) |
Music.kif 1141-1146 | If X is an instance of singles chart, then there exists Y such that Y is an instance of music recording and Y is a member of X |
|