| 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 |
|
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