Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| albumRelease |
| appearance as argument number 1 |
|
| (instance albumRelease BinaryPredicate) | Music.kif 253-253 | album release is an instance of binary predicate |
| (documentation albumRelease EnglishLanguage "(albumRelease ?A ?T) means that by TimePoint ?T, (AlbumCopiesFn ?A ?DS) was releaseForSale in some location. ") | Music.kif 254-255 | album release is an instance of binary predicate |
| (domain albumRelease 1 Album) | Music.kif 258-258 | The number 1 argument of album release is an instance of album |
| (domain albumRelease 2 TimePoint) | Music.kif 259-259 | The number 2 argument of album release is an instance of time point |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage albumRelease "album release") | Music.kif 256-256 | |
| (format EnglishLanguage albumRelease "%1 was released on %2") | domainEnglishFormat.kif 2756-2756 | |
| (format ChineseTraditionalLanguage albumRelease "%1 之前是在 %2 被 released ") | domainEnglishFormat.kif 2757-2757 | |
| (format ChineseLanguage albumRelease "%1 之前是在 %2 被 released ") | domainEnglishFormat.kif 2758-2758 |
| antecedent |
|
|
| (=> (albumRelease ?A ?T) (and (exists (?R1 ?DS1) (releaseForSale (AlbumCopiesFn ?A ?DS1) ?R1 ?T)) (not (exists (?B ?R2 ?DS2) (and (before ?B ?T) (releaseForSale (AlbumCopiesFn ?A ?DS2) ?R2 ?B)))))) |
Music.kif 261-270 | If X was released on Y, then there exist Z and W such that the set of copies on W of X was released for sale in Z at Y and there don't exist V, U, T such that V happens before Y, and the set of copies on T of X was released for sale in U at V |
|