WebListing
|
|
appearance as argument number 1 |
(documentation WebListing EnglishLanguage "A subclass of Avertising which is hostedOn a WebSite. The Creator of the WebListing must be a webSeller on the WebSite it is hostedOn.") | UXExperimentalTerms.kif 29-30 | |
(subclass WebListing Advertising) | UXExperimentalTerms.kif 26-26 | WebListing は 広告 の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage WebListing "web listing") | UXExperimentalTerms.kif 27-27 |
appearance as argument number 3 |
(domain SellersOtherItemsFn 3 WebListing) | UXExperimentalTerms.kif 1020-1020 | SellersOtherItemsFn の数値 3 引数は WebListing の instance では %n |
(domain hostedOn 1 WebListing) | UXExperimentalTerms.kif 118-118 | hostedOn の数値 1 引数は WebListing の instance では %n |
(domain listingBidder 1 WebListing) | UXExperimentalTerms.kif 101-101 | listingBidder の数値 1 引数は WebListing の instance では %n |
(domain listingBuyer 1 WebListing) | UXExperimentalTerms.kif 77-77 | listingBuyer の数値 1 引数は WebListing の instance では %n |
(domain listingSeller 1 WebListing) | UXExperimentalTerms.kif 48-48 | listingSeller の数値 1 引数は WebListing の instance では %n |
(domain searchResult 1 WebListing) | UXExperimentalTerms.kif 2322-2322 | searchResult の数値 1 引数は WebListing の instance では %n |
(domain viewedListing 2 WebListing) | UXExperimentalTerms.kif 1534-1534 | viewedListing の数値 2 引数は WebListing の instance では %n |
antecedent |
(=> (and (instance ?CATEG WebListingCategory) (instance ?LISTING1 WebListing) (instance ?LISTING2 WebListing) (instance ?ITEM1 Object) (instance ?ITEM2 Object) (member ?LISTING1 ?CATEG) (member ?LISTING2 ?CATEG) (patient ?ITEM1 ?LISTING1) (patient ?ITEM2 ?LISTING2)) (exists (?CLASS) (and (instance ?CLASS Class) (instance ?ITEM1 ?CLASS) (instance ?ITEM2 ?CLASS)))) |
UXExperimentalTerms.kif 145-160 |
|
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (exists (?LISTING ?SITE ?ITEM) (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 2845-2870 | |
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (exists (?BIDDING ?ITEM ?LISTING ?BIDDING) (equal (CardinalityFn (KappaFn ?BIDDING (and (instance ?ITEM Physical) (instance ?LISTING WebListing) (instance ?BIDDING Bidding) (member ?LISTING ?COLL) (objectOfBid ?BIDDING ?ITEM) (patient ?LISTING ?ITEM)))) (BidCountFn ?COLL)))) |
UXExperimentalTerms.kif 2922-2940 | |
(=> (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?AGENT AutonomousAgent) (instance ?LISTING WebListing) (instance ?TIME TimePoint) (listingSeller ?LISTING ?AGENT) (not (member ?LISTING ?COLL)) (forall (?ITEM ?MEMBER) (and (=> (and (instance ?ITEM WebListing) (member ?ITEM (SellersItemsFn ?AGENT ?SITE)) (temporalPart ?TIME (WhenFn ?ITEM)) (not (equal ?ITEM ?LISTING))) (member ?ITEM ?COLL)) (=> (member ?MEMBER ?COLL) (and (temporalPart ?TIME (WhenFn ?ITEM)) (instance ?MEMBER WebListing)))))) (equal (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL)) |
UXExperimentalTerms.kif 1033-1060 |
|
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (attribute ?LISTING ForSaleByOwner) (patient ?LISTING ?ITEM)) (instance ?ITEM Vehicle)) |
UXExperimentalTerms.kif 373-379 | |
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (instance ?OWNER AutonomousAgent) (attribute ?LISTING ForSaleByOwner) (possesses ?OWNER ?ITEM)) (instance ?OWNER Human)) |
UXExperimentalTerms.kif 381-388 |
|
(=> (and (instance ?LISTING WebListing) (instance ?ITEM Object) (instance ?CREATOR AutonomousAgent) (attribute ?LISTING AuctionAttribute) (patient ?ITEM ?LISTING) (creator ?CREATOR ?LISTING)) (desires ?CREATOR (exists (?AUCTION) (and (instance ?AUCTION Auctioning) (patient ?AUCTION ?ITEM))))) |
UXExperimentalTerms.kif 313-325 |
|
(=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 39-45 |
|
(=> (and (instance ?PAGE ViewItemPage) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (patient ?ADVERTISING ?ITEM) (instance ?ITEM Physical)) (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT) (and (instance ?STATING Stating) (patient ?STATING ?DESCRIPTION) (refers ?DESCRIPTION ?ITEM) (result ?DESCRIPTION ?DESCRIPTIONCONTENT) (part ?DESCRIPTIONCONTENT ?PAGE)))) |
UXExperimentalTerms.kif 2078-2091 |
|
(=> (and (watchingListings ?USER ?COLL ?SITE) (instance ?LISTING WebListing) (instance ?OBJ Object) (patient ?LISTING ?OBJ) (member ?LISTING ?COLL)) (modalAttribute (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER)))) Likely)) |
UXExperimentalTerms.kif 1257-1271 |
|
(=> (instance ?LISTING WebListing) (exists (?SITE) (and (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE)))) |
UXExperimentalTerms.kif 32-37 |
|
consequent |