![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| musicChartPeriod |
| appearance as argument number 1 |
|
|
| (instance musicChartPeriod BinaryPredicate) | Music.kif 1178-1178 | music chart period is an instance of binary predicate |
| (documentation musicChartPeriod EnglishLanguage "(musicChartPeriod ?CHART ?TIME) means that the the MusicChart ?CHART was analyzed using information from TimeInterval ?TIME") | Music.kif 1179-1180 | music chart period is an instance of binary predicate |
| (domain musicChartPeriod 1 MusicChart) | Music.kif 1183-1183 | The number 1 argument of music chart period is an instance of music charts |
| (domain musicChartPeriod 2 TimeInterval) | Music.kif 1184-1184 | The number 2 argument of music chart period is an instance of timeframe |
| appearance as argument number 2 |
|
|