TreeView Knowledge Base Browser

appearance as argument number 1

(instance prohibitedItem BinaryPredicate)	UXExperimentalTerms.kif 390-390	prohibited item is an instance of binary predicate
(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
(documentation prohibitedItem EnglishLanguage "(prohibitedItem ?Object ?SITE means that ?ITEM is not allowed to be sold on WebSite ?SITE.")	UXExperimentalTerms.kif 395-396	The number 2 argument of prohibited item is an instance of web site

appearance as argument number 2

(termFormat EnglishLanguage prohibitedItem "prohibited item")	UXExperimentalTerms.kif 391-391
(format EnglishLanguage prohibitedItem "%1 is prohibited for sale on %2")	domainEnglishFormat.kif 4256-4256
(format ChineseTraditionalLanguage prohibitedItem "%1 是 prohibited 販賣在 %2 ")	domainEnglishFormat.kif 4257-4257
(format ChineseLanguage prohibitedItem "%1 是 prohibited 贩卖在 %2 ")	domainEnglishFormat.kif 4258-4258

antecedent

(=>
    (prohibitedItem ?ITEM ?SITE)
    (modalAttribute
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (eCommerceSite ?SELLING ?SITE))) Prohibition))

If X is prohibited for sale on Y, then the statement there exists Z such that Z is an instance of selling and Y facilitates Z has the modal force of prohibition