prohibitedItem - Sigma Knowledge base Browser

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	The number 1 argument of prohibited item is an instance of object
(domain prohibitedItem 2 WebSite)	UXExperimentalTerms.kif 393-393	The number 2 argument of prohibited item is an instance of web site
(instance prohibitedItem BinaryPredicate)	UXExperimentalTerms.kif 390-390	prohibited item is an instance of binary predicate

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