prohibitedItem |
appearance as argument number 1 |
(documentation prohibitedItem EnglishLanguage "(prohibitedItem ?Object ?SITE means that ?ITEM is not allowed to be sold on WebSite ?SITE.") | UXExperimentalTerms.kif 395-396 | |
(domain prohibitedItem 1 Object) | UXExperimentalTerms.kif 392-392 | |
(domain prohibitedItem 2 WebSite) | UXExperimentalTerms.kif 393-393 | |
(instance prohibitedItem BinaryPredicate) | UXExperimentalTerms.kif 390-390 |
appearance as argument number 2 |
(format ChineseLanguage prohibitedItem "%1 是 prohibited 贩卖在 %2 ") | domainEnglishFormat.kif 4254-4254 | |
(format ChineseTraditionalLanguage prohibitedItem "%1 是 prohibited 販賣在 %2 ") | domainEnglishFormat.kif 4253-4253 | |
(format EnglishLanguage prohibitedItem "%1 is prohibited for sale on %2") | domainEnglishFormat.kif 4252-4252 | |
(termFormat EnglishLanguage prohibitedItem "prohibited item") | UXExperimentalTerms.kif 391-391 |
antecedent |
(=> (prohibitedItem ?ITEM ?SITE) (modalAttribute (exists (?SELLING) (and (instance ?SELLING Selling) (eCommerceSite ?SELLING ?SITE))) Prohibition)) |
UXExperimentalTerms.kif 398-405 |