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 492-493 | |
(domain prohibitedItem 1 Object) | UXExperimentalTerms.kif 488-488 | |
(domain prohibitedItem 2 WebSite) | UXExperimentalTerms.kif 490-490 | |
(instance prohibitedItem BinaryPredicate) | UXExperimentalTerms.kif 484-484 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage prohibitedItem "%1 是 prohibited 贩卖在 %2 ") | domainEnglishFormat.kif 4263-4263 | |
(format ChineseTraditionalLanguage prohibitedItem "%1 是 prohibited 販賣在 %2 ") | domainEnglishFormat.kif 4262-4262 | |
(format EnglishLanguage prohibitedItem "%1 is prohibited for sale on %2") | domainEnglishFormat.kif 4261-4261 | |
(termFormat EnglishLanguage prohibitedItem "prohibited item") | UXExperimentalTerms.kif 486-486 |
antecedent |
![]() |
(=> (prohibitedItem ?ITEM ?SITE) (modalAttribute (exists (?SELLING) (and (instance ?SELLING Selling) (eCommerceSite ?SELLING ?SITE))) Prohibition)) |
UXExperimentalTerms.kif 495-502 |
![]() |
![]() |