Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| webSeller |
| appearance as argument number 1 |
|
| (instance webSeller BinaryPredicate) | UXExperimentalTerms.kif 947-947 | web seller is an instance of binary predicate |
| (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 |
| (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 | The number 2 argument of web seller is an instance of web site |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage webSeller "web seller") | UXExperimentalTerms.kif 953-953 | |
| (format EnglishLanguage webSeller "%1 is a seller at %2") | domainEnglishFormat.kif 4972-4972 | |
| (format ChineseTraditionalLanguage webSeller "%1 是 seller 在 %2 ") | domainEnglishFormat.kif 4973-4973 | |
| (format ChineseLanguage webSeller "%1 是 seller 在 %2 ") | domainEnglishFormat.kif 4974-4974 |
| antecedent |
|
|
| (=> (webSeller ?SELLER ?SITE) (exists (?LISTING) (and (instance ?LISTING WebListing) (listingSeller ?LISTING ?SELLER) (hostedOn ?LISTING ?SITE)))) |
UXExperimentalTerms.kif 959-965 | If X is a seller at Y, then there exists Z such that Z is an instance of web listing, X sells Z, and Z is hosted on Y |
| (=> (webSeller ?SELLER ?SITE) (desires ?SELLER (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?SELLER))))) |
UXExperimentalTerms.kif 967-973 | If X is a seller at Y, then X desires there exists Z such that Z is an instance of selling and X is an agent of Z |
| consequent |
|
|
| (=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 39-45 | If X is an instance of web listing, Y is an instance of web site, X is hosted on Y, and X created Z, then Z is a seller at Y |
| (=> (and (listingSeller ?LISTING ?AGENT) (hostedOn ?LISTING ?SITE)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 70-74 | If X sells Y and Y is hosted on Z, then X is a seller at Z |
|