| 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 955-957 | |
| (domain webSeller 1 Human) | UXExperimentalTerms.kif 949-949 | The number 1 argument of web seller is an instance of human |
| (domain webSeller 2 WebSite) | UXExperimentalTerms.kif 951-951 | The number 2 argument of web seller is an instance of web site |
| (instance webSeller BinaryPredicate) | UXExperimentalTerms.kif 947-947 | web seller is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage webSeller "%1 是 seller 在 %2 ") | domainEnglishFormat.kif 4970-4970 | |
| (format ChineseTraditionalLanguage webSeller "%1 是 seller 在 %2 ") | domainEnglishFormat.kif 4969-4969 | |
| (format EnglishLanguage webSeller "%1 is a seller at %2") | domainEnglishFormat.kif 4968-4968 | |
| (termFormat EnglishLanguage webSeller "web seller") | UXExperimentalTerms.kif 953-953 |
| antecedent |
|
|
| (=> (webSeller ?SELLER ?SITE) (desires ?SELLER (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?SELLER))))) |
UXExperimentalTerms.kif 967-973 |
|
| (=> (webSeller ?SELLER ?SITE) (exists (?LISTING) (and (instance ?LISTING WebListing) (listingSeller ?LISTING ?SELLER) (hostedOn ?LISTING ?SITE)))) |
UXExperimentalTerms.kif 959-965 |
|
| consequent |
|
|
| (=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 39-45 |
|
| (=> (and (listingSeller ?LISTING ?AGENT) (hostedOn ?LISTING ?SITE)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 70-74 |
|
|
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