| appearance as argument number 1 |
|
| (documentation webSeller EnglishLanguage "(webSeller ?SELLER ?SITE) means that item is advertised on the WebSite ?SITE and ?SELLER desires there to be a selling (implicitly of that item) where ?SELLER is the agent.") | UXExperimentalTerms.kif 1152-1154 | |
| (domain webSeller 1 Human) | UXExperimentalTerms.kif 1146-1146 | |
| (domain webSeller 2 WebSite) | UXExperimentalTerms.kif 1148-1148 | |
| (instance webSeller BinaryPredicate) | UXExperimentalTerms.kif 1144-1144 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage webSeller "%1 是 seller 在 %2 ") | domainEnglishFormat.kif 4966-4966 | |
| (format ChineseTraditionalLanguage webSeller "%1 是 seller 在 %2 ") | domainEnglishFormat.kif 4965-4965 | |
| (format EnglishLanguage webSeller "%1 is a seller at %2") | domainEnglishFormat.kif 4964-4964 | |
| (termFormat EnglishLanguage webSeller "web seller") | UXExperimentalTerms.kif 1150-1150 |
| antecedent |
|
|
| (=> (webSeller ?SELLER ?SITE) (desires ?SELLER (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?SELLER))))) |
UXExperimentalTerms.kif 1164-1170 | |
| (=> (webSeller ?SELLER ?SITE) (exists (?LISTING) (and (instance ?LISTING WebListing) (listingSeller ?LISTING ?SELLER) (hostedOn ?LISTING ?SITE)))) |
UXExperimentalTerms.kif 1156-1162 |
| consequent |
|
|
| (=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 44-50 | |
| (=> (and (listingSeller ?LISTING ?AGENT) (hostedOn ?LISTING ?SITE)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 82-86 |
|
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