hostedOn |
appearance as argument number 1 |
(documentation hostedOn EnglishLanguage "(hostedOn ?LISTING ?SITE) means that the WebListing ?LISTING is a Component of a WebPage which is a Component of the WebSite ?SITE.") | UXExperimentalTerms.kif 122-123 | |
(domain hostedOn 1 WebListing) | UXExperimentalTerms.kif 118-118 | hostedOn 的 1 数量 是 WebListing 的 instance |
(domain hostedOn 2 WebSite) | UXExperimentalTerms.kif 119-119 | hostedOn 的 2 数量 是 WebSite 的 instance |
(instance hostedOn BinaryPredicate) | UXExperimentalTerms.kif 117-117 | hostedOn 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage hostedOn "%1 是在 %2 hosted ") | domainEnglishFormat.kif 3670-3670 | |
(format ChineseTraditionalLanguage hostedOn "%1 是在 %2 hosted ") | domainEnglishFormat.kif 3669-3669 | |
(format EnglishLanguage hostedOn "%1 is hosted on %2") | domainEnglishFormat.kif 3668-3668 | |
(termFormat EnglishLanguage hostedOn "hosted on") | UXExperimentalTerms.kif 120-120 |
antecedent |
(=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 39-45 |
|
(=> (and (listingBuyer ?LISTING ?BUYER) (instance ?OBJ Object) (instance ?SITE WebSite) (patient ?LISTING ?OBJECT) (hostedOn ?LISTING ?SITE)) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (eCommerceSite ?BUYING ?SITE) (agent ?BUYING ?BUYER)))) |
UXExperimentalTerms.kif 86-98 |
|
(=> (and (listingSeller ?LISTING ?AGENT) (hostedOn ?LISTING ?SITE)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 70-74 |
|
(=> (hostedOn ?LISTING ?SITE) (exists (?PAGE) (and (instance ?PAGE WebPage) (subString ?LISTING ?PAGE) (subString ?PAGE ?SITE)))) |
UXExperimentalTerms.kif 125-131 |
consequent |