Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| releaseForSale |
| appearance as argument number 1 |
|
| (subrelation releaseForSale releaseForConsumption) | Music.kif 1496-1496 | release for sale is a subrelation of release for consumption |
| (domainSubclass releaseForSale 1 Object) | Music.kif 1497-1497 | The number 1 argument of release for sale is a subclass of object |
| (domain releaseForSale 2 GeographicArea) | Music.kif 1498-1498 | The number 2 argument of release for sale is an instance of geographic area |
| (domain releaseForSale 3 TimePoint) | Music.kif 1499-1499 | The number 3 argument of release for sale is an instance of time point |
| (instance releaseForSale TernaryRelation) | Music.kif 1501-1501 | release for sale is an instance of ternary relation |
| (documentation releaseForSale EnglishLanguage "(releaseForSale ?OBJ ?AREA ?TIME) means that Object ?OBJ was released for sale in GeographicArea ?AREA at TimePoint ?TIME") | Music.kif 1502-1503 | release for sale is an instance of ternary relation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage releaseForSale "release for sale") | Music.kif 1504-1504 | |
| (format EnglishLanguage releaseForSale "%1 was released for sale in %2 at %3") | domainEnglishFormat.kif 4376-4376 | |
| (format ChineseTraditionalLanguage releaseForSale "%1 是 released 對於 sale 在 %2 位於 %3 ") | domainEnglishFormat.kif 4377-4377 | |
| (format ChineseLanguage releaseForSale "%1 是 released 对于 sale 在 %2 位于 %3 ") | domainEnglishFormat.kif 4378-4378 |
| antecedent |
|
|
| (=> (releaseForSale ?OBJ ?AREA ?TIME) (holdsDuring (ImmediateFutureFn ?TIME) (modalAttribute (exists (?O ?B) (and (instance ?O ?OBJ) (instance ?B Buying) (eventLocated ?B ?AREA) (patient ?B ?O))) Possibility))) |
Music.kif 1507-1517 | If X was released for sale in Y at Z, then the statement there exist W, V such that W is an instance of X, V is an instance of buying, V is located at Y, and W is a patient of V has the modal force of possibility holds during immediately after Z |
| consequent |
|
|
| (=> (instance ?D Discography) (exists (?M ?AC) (and (instance ?M CognitiveAgent) (attribute ?M ?AC) (instance ?AC Musician) (forall (?X) (=> (member ?X ?D) (exists (?I ?T ?R ?DS) (and (musician ?X ?M ?I) (releaseForSale (AlbumCopiesFn ?X ?DS) ?R ?T)))))))) |
Music.kif 67-80 | If X is an instance of discography, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of cognitive agent (3) Z is an attribute of Y (4) Z is an instance of musician (5) W W is a member of Xthere exist V, U,, , T (6) S such that Y plays V in W (7) the set of copies on S of W was released for sale in T at U |
| (=> (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 |
|