| 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 4258-4258 | |
| (format ChineseTraditionalLanguage prohibitedItem "%1 是 prohibited 販賣在 %2 ") | domainEnglishFormat.kif 4257-4257 | |
| (format EnglishLanguage prohibitedItem "%1 is prohibited for sale on %2") | domainEnglishFormat.kif 4256-4256 | |
| (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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners