Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| hostedOn |
| appearance as argument number 1 |
|
| (instance hostedOn BinaryPredicate) | UXExperimentalTerms.kif 117-117 | hosted on is an instance of binary predicate |
| (domain hostedOn 1 WebListing) | UXExperimentalTerms.kif 118-118 | The number 1 argument of hosted on is an instance of web listing |
| (domain hostedOn 2 WebSite) | UXExperimentalTerms.kif 119-119 | The number 2 argument of hosted on is an instance of web site |
| (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 | The number 2 argument of hosted on is an instance of web site |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage hostedOn "hosted on") | UXExperimentalTerms.kif 120-120 | |
| (format EnglishLanguage hostedOn "%1 is hosted on %2") | domainEnglishFormat.kif 3666-3666 | |
| (format ChineseTraditionalLanguage hostedOn "%1 是在 %2 hosted ") | domainEnglishFormat.kif 3667-3667 | |
| (format ChineseLanguage hostedOn "%1 是在 %2 hosted ") | domainEnglishFormat.kif 3668-3668 |
| antecedent |
|
|
| (=> (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 |
| (=> (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 | If X buys Y, Z is an instance of object, W is an instance of web site, V is a patient of Y, and Y is hosted on W, then there exists U such that U is an instance of buying, Z is a patient of U, W facilitates U, and X is an agent of U |
| (=> (hostedOn ?LISTING ?SITE) (exists (?PAGE) (and (instance ?PAGE WebPage) (subString ?LISTING ?PAGE) (subString ?PAGE ?SITE)))) |
UXExperimentalTerms.kif 125-131 | If X is hosted on Y, then there exists Z such that Z is an instance of web page, X is a sub-string of Z, and Z is a sub-string of Y |
| consequent |
|
|
| (=> (instance ?LISTING WebListing) (exists (?SITE) (and (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE)))) |
UXExperimentalTerms.kif 32-37 | If X is an instance of web listing, then there exists Y such that Y is an instance of web site and X is hosted on Y |
| (=> (advertisedOn ?OBJ ?SITE) (exists (?ADVERT) (and (instance ?ADVERT Advertising) (hostedOn ?ADVERT ?SITE) (patient ?ADVERT ?OBJ)))) |
UXExperimentalTerms.kif 193-199 | If X was advertisedOn Y, then there exists Z such that Z is an instance of advertising, Z is hosted on Y, and X is a patient of Z |
| (=> (instance ?CHARGE InsertionFee) (exists (?SITE ?OWNER ?ADVERT) (and (instance ?SITE WebSite) (instance ?OWNER AutonomousAgent) (instance ?ADVERT WebListing) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (agent ?CHARGE ?OWNER)))) |
UXExperimentalTerms.kif 209-218 | If X is an instance of insertion fee, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of web site (3) Z is an instance of agent (4) W is an instance of web listing (5) W is hosted on Y (6) Z possesses Y (7) Z is an agent of X |
| (=> (instance ?CHARGE FinalValueFee) (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE) (and (instance ?ADVERT WebListing) (instance ?SELLING Selling) (instance ?OWNER AutonomousAgent) (instance ?ITEM Physical) (instance ?ADVERT WebListing) (patient ?ADVERT ?ITEM) (patient ?SELLING ?ITEM) (causes ?SELLING ?CHARGE) (agent ?CHARGE ?OWNER) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (eCommerceSite ?SELLING ?OWNER)))) |
UXExperimentalTerms.kif 240-255 | If X is an instance of final fee, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of web listing (3) Z is an instance of selling (4) W is an instance of agent (5) V is an instance of physical (6) Y is an instance of web listing (7) V is a patient of Y (8) V is a patient of Z (9) Z causes X (10) W is an agent of X (11) Y is hosted on U (12) W possesses U (13) W facilitates Z |
| (=> (instance ?LIST ListOnSite) (exists (?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER) (and (instance ?SITE WebSite) (instance ?ADVERT WebListing) (instance ?EARLIER TimeInterval) (instance ?AFTER TimeInterval) (patient ?LIST ?ADVERT) (equal (EndFn ?EARLIER) (EndFn ?LIST)) (earlier ?LIST ?AFTER) (meetsTemporally ?LIST ?AFTER) (holdsDuring ?EARLIER (not (hostedOn ?ADVERT ?SITE))) (holdsDuring ?AFTER (hostedOn ?ADVERT ?SITE)) (agent ?LIST ?OWNER) (possesses ?OWNER ?SITE)))) |
UXExperimentalTerms.kif 266-286 | If X is an instance of list on site, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of web site (3) Z is an instance of web listing (4) W is an instance of timeframe (5) V is an instance of timeframe (6) Z is a patient of X (7) equal the end of W (8) the end of X (9) X happens earlier than V (10) X meets V (11) Z is hosted on Y holds during W (12) Z is hosted on Y holds during V (13) U is an agent of X (14) U possesses Y |
| (=> (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 |
| (=> (and (instance ?AGENT AutonomousAgent) (instance ?SITE WebSite)) (exists (?COLL) (and (instance ?COLL Collection) (forall (?LISTING) (=> (and (instance ?LISTING WebListing) (hostedOn ?LISTING ?SITE) (listingSeller ?LISTING ?AGENT)) (member ?LISTING ?COLL))) (equal (SellersItemsFn ?AGENT ?SITE) ?COLL)))) |
UXExperimentalTerms.kif 992-1008 | If X is an instance of agent and Y is an instance of web site, then there exists Z such that Z is an instance of collection, W W is an instance of web listing, W is hosted on Y, X sells WW is a member of Z, equal items for sale by X at Y, and Z |
| (=> (and (instance ?PAGE ViewItemPage) (instance ?SITE WebSite) (component ?PAGE ?SITE)) (exists (?ITEM ?ADVERTISING) (and (instance ?ITEM Object) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (hostedOn ?ADVERTISING ?SITE) (patient ?ADVERTISING ?ITEM)))) |
UXExperimentalTerms.kif 2066-2077 | If X is an instance of next generation view item, Y is an instance of web site, and X is a component of Y, then there exist Z, W such that Z is an instance of object, W is an instance of web listing, W is a component of X, W is hosted on Y, and Z is a patient of W |
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (exists (?LISTING ?SITE ?ITEM) (equal (DivisionFn (CardinalityFn (KappaFn ?LISTING (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (instance ?ITEM Physical) (member ?LISTING ?COLL) (patient ?LISTING ?ITEM) (hostedOn ?LISTING ?SITE) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (eCommerceSite ?BUYING ?SITE)))))) (CardinalityFn ?COLL)) (BidCountFn ?COLL)))) |
UXExperimentalTerms.kif 2846-2871 | If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of web listing, then there exist Z, W, V such that equal the number of instances in the class described by Z, the number of instances in X, and number of bids in X |
|