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 では %n |
(domain hostedOn 2 WebSite) | UXExperimentalTerms.kif 119-119 | hostedOn の数値 2 引数は WebSite の instance では %n |
(instance hostedOn BinaryPredicate) | UXExperimentalTerms.kif 117-117 | hostedOn は 2進述語 の instance では %n |
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 |