releaseForSale |
appearance as argument number 1 |
(documentation releaseForSale EnglishLanguage "(releaseForSale ?OBJ ?AREA ?TIME) means that Object ?OBJ was released for sale in GeographicArea ?AREA at TimePoint ?TIME") | Music.kif 1494-1495 | |
(instance releaseForSale TernaryRelation) | Music.kif 1493-1493 | releaseForSale ist ein fall von TernaryRelation %n{nicht} |
(subrelation releaseForSale releaseForConsumption) | Music.kif 1492-1492 | releaseForSale ist eine teilrelation von releaseForConsumption |
appearance as argument number 2 |
(format ChineseLanguage releaseForSale "%1 是 released 对于 sale 在 %2 位于 %3 ") | domainEnglishFormat.kif 4374-4374 | |
(format ChineseTraditionalLanguage releaseForSale "%1 是 released 對於 sale 在 %2 位於 %3 ") | domainEnglishFormat.kif 4373-4373 | |
(format EnglishLanguage releaseForSale "%1 was released for sale in %2 at %3") | domainEnglishFormat.kif 4372-4372 | |
(termFormat EnglishLanguage releaseForSale "release for sale") | Music.kif 1496-1496 |
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 1499-1509 |
|
consequent |