Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CombustionChamber

Sigma KEE - WebListing
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 34-35
(subclass WebListing Advertising) UXExperimentalTerms.kif 30-30

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage WebListing "web listing") UXExperimentalTerms.kif 32-32

appearance as argument number 3
-------------------------


(domain SellersOtherItemsFn 3 WebListing) UXExperimentalTerms.kif 1216-1216
(domain hostedOn 1 WebListing) UXExperimentalTerms.kif 148-148
(domain listingBidder 1 WebListing) UXExperimentalTerms.kif 125-125
(domain listingBuyer 1 WebListing) UXExperimentalTerms.kif 94-94
(domain listingSeller 1 WebListing) UXExperimentalTerms.kif 58-58
(domain searchResult 1 WebListing) UXExperimentalTerms.kif 2529-2529
(domain viewedListing 2 WebListing) UXExperimentalTerms.kif 1741-1741

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 182-197
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER WebListing))))
    (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 3127-3144
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER WebListing))))
    (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 3052-3076
(=>
    (and
        (instance ?COLL Collection)
        (instance ?SITE WebSite)
        (instance ?AGENT Agent)
        (instance ?LISTING WebListing)
        (instance ?TIME TimePoint)
        (listingSeller ?LISTING ?AGENT)
        (not
            (member ?LISTING ?COLL))
        (forall (?ITEM)
            (=>
                (and
                    (instance ?ITEM WebListing)
                    (member ?ITEM
                        (SellersItemsFn ?AGENT ?SITE))
                    (temporalPart ?TIME
                        (WhenFn ?ITEM))
                    (not
                        (equal ?ITEM ?LISTING)))
                (member ?ITEM ?COLL)))
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (and
                    (temporalPart ?TIME
                        (WhenFn ?ITEM))
                    (instance ?MEMBER WebListing)))))
    (equal
        (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1229-1256
(=>
    (and
        (instance ?ITEM Object)
        (instance ?LISTING WebListing)
        (attribute ?LISTING ForSaleByOwner)
        (patient ?LISTING ?ITEM))
    (instance ?ITEM Vehicle))
UXExperimentalTerms.kif 463-469
(=>
    (and
        (instance ?ITEM Object)
        (instance ?LISTING WebListing)
        (instance ?OWNER Agent)
        (attribute ?LISTING ForSaleByOwner)
        (possesses ?OWNER ?ITEM))
    (instance ?OWNER Human))
UXExperimentalTerms.kif 471-478
(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?ITEM Object)
        (instance ?CREATOR Agent)
        (attribute ?LISTING AuctionAttribute)
        (patient ?ITEM ?LISTING)
        (creator ?CREATOR ?LISTING))
    (desires ?CREATOR
        (exists (?AUCTION)
            (and
                (instance ?AUCTION Auctioning)
                (patient ?AUCTION ?ITEM)))))
UXExperimentalTerms.kif 393-405
(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?SITE WebSite)
        (hostedOn ?LISTING ?SITE)
        (creator ?LISTING ?AGENT))
    (webSeller ?AGENT ?SITE))
UXExperimentalTerms.kif 44-50
(=>
    (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 2284-2297
(=>
    (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 1454-1468
(=>
    (instance ?LISTING WebListing)
    (exists (?SITE)
        (and
            (instance ?SITE WebSite)
            (hostedOn ?LISTING ?SITE))))
UXExperimentalTerms.kif 37-42

consequent
-------------------------


(=>
    (and
        (attribute ?LISTING ?ATTRIBUTE)
        (instance ?ATTRIBUTE ListingAttribute))
    (instance ?LISTING WebListing))
UXExperimentalTerms.kif 375-379
(=>
    (and
        (inList ?ITEM ?RESULTS)
        (instance ?RESULTS SRPResults))
    (or
        (instance ?ITEM WebListing)
        (instance ?ITEM WebPage)))
UXExperimentalTerms.kif 2690-2696
(=>
    (and
        (instance ?AGENT Agent)
        (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 1188-1204
(=>
    (and
        (instance ?CATEG WebListingCategory)
        (member ?LISTING ?CATEG))
    (instance ?LISTING WebListing))
UXExperimentalTerms.kif 176-180
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER WebListing))))
    (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 3127-3144
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER WebListing))))
    (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 3052-3076
(=>
    (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 2271-2282
(=>
    (and
        (watchingListings ?USER ?COLL ?SITE)
        (member ?LISTING ?COLL))
    (instance ?LISTING WebListing))
UXExperimentalTerms.kif 1448-1452
(=>
    (instance ?CHARGE FinalValueFee)
    (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
        (and
            (instance ?ADVERT WebListing)
            (instance ?SELLING Selling)
            (instance ?OWNER Agent)
            (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 307-322
(=>
    (instance ?CHARGE InsertionFee)
    (exists (?ADVERT ?PROC ?OWNER)
        (and
            (instance ?ADVERT WebListing)
            (instance ?PROC ListOnSite)
            (instance ?OWNER Agent)
            (patient ?PROC ?ADVERT)
            (causes ?PROC ?CHARGE)
            (agent ?CHARGE ?OWNER)
            (agent ?PROC ?OWNER))))
UXExperimentalTerms.kif 282-292
(=>
    (instance ?CHARGE InsertionFee)
    (exists (?SITE ?OWNER ?ADVERT)
        (and
            (instance ?SITE WebSite)
            (instance ?OWNER Agent)
            (instance ?ADVERT WebListing)
            (hostedOn ?ADVERT ?SITE)
            (possesses ?OWNER ?SITE)
            (agent ?CHARGE ?OWNER))))
UXExperimentalTerms.kif 271-280
(=>
    (instance ?LIST ListOnSite)
    (exists (?SITE ?ADVERT ?EARLIER ?AFTER)
        (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 338-358
(=>
    (webSeller ?SELLER ?SITE)
    (exists (?LISTING)
        (and
            (instance ?LISTING WebListing)
            (listingSeller ?LISTING ?SELLER)
            (hostedOn ?LISTING ?SITE))))
UXExperimentalTerms.kif 1155-1161


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners