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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - eCommerceSite
eCommerceSite

appearance as argument number 1
-------------------------


(documentation eCommerceSite EnglishLanguage "This CaseRole relates an instance of a FinancialTransaction to the WebSite that facilitaed the sale.") UXExperimentalTerms.kif 1713-1714
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1705-1705 eCommerceSite の数値 1 引数は 金融取引instance では %n
(domain eCommerceSite 2 WebSite) UXExperimentalTerms.kif 1707-1707 eCommerceSite の数値 2 引数は WebSiteinstance では %n
(instance eCommerceSite CaseRole) UXExperimentalTerms.kif 1703-1703 eCommerceSite格役割instance では %n
(subrelation eCommerceSite broker) UXExperimentalTerms.kif 1711-1711 eCommerceSitebrokersubrelation では %n
(subrelation eCommerceSite instrument) UXExperimentalTerms.kif 1709-1709 eCommerceSiteinstrumentsubrelation では %n

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


(format ChineseLanguage eCommerceSite "%2 facilitates %1 ") domainEnglishFormat.kif 3294-3294
(format ChineseTraditionalLanguage eCommerceSite "%2 facilitates %1 ") domainEnglishFormat.kif 3293-3293
(format EnglishLanguage eCommerceSite "%2 facilitates %1") domainEnglishFormat.kif 3292-3292
(termFormat EnglishLanguage eCommerceSite "e-commerce site") domainEnglishFormat.kif 65816-65816

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


(=>
    (and
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?BUYING)
        (and
            (instance ?BUYING Buying)
            (agent ?BUYING ?MEMBER)
            (eCommerceSite ?BUYING ?SITE)
            (during
                (WhenFn ?BUYING) ?INT))))
UXExperimentalTerms.kif 3534-3543
(=>
    (and
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (not
        (exists (?BUYING)
            (and
                (instance ?BUYING Buying)
                (agent ?BUYING ?MEMBER)
                (eCommerceSite ?BUYING ?SITE)
                (earlier
                    (WhenFn ?BUYING) ?INT)))))
UXExperimentalTerms.kif 3545-3555
(=>
    (and
        (firstTimeSellers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?SELLING)
        (and
            (instance ?SELLING Selling)
            (agent ?SELLING ?MEMBER)
            (eCommerceSite ?SELLING ?SITE)
            (during
                (WhenFn ?SELLING) ?INT))))
UXExperimentalTerms.kif 3582-3591
(=>
    (and
        (firstTimeSellers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (not
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (agent ?SELLING ?MEMBER)
                (eCommerceSite ?SELLING ?SITE)
                (earlier
                    (WhenFn ?SELLING) ?INT)))))
UXExperimentalTerms.kif 3593-3603
(=>
    (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
        (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
        (webPurchases ?PURCHASES ?BUYER ?SITE)
        (member ?BUYING ?PURCHASES))
    (and
        (instance ?BUYING Buying)
        (agent ?BUYING ?BUYER)
        (eCommerceSite ?BUYING ?SITE)))
UXExperimentalTerms.kif 839-846
(=>
    (and
        (webSales ?SALES ?SELLER ?SITE)
        (member ?SELLING ?SALES))
    (and
        (instance ?SELLING Selling)
        (agent ?SELLING ?SELLER)
        (eCommerceSite ?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
(=>
    (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
(=>
    (prohibitedItem ?ITEM ?SITE)
    (modalAttribute
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (eCommerceSite ?SELLING ?SITE))) Prohibition))
UXExperimentalTerms.kif 398-405
(=>
    (siteCatalog ?DATABASE ?WEBSITE)
    (exists (?PART ?PRODUCTS ?BUYING)
        (and
            (instance ?PRODUCTS Collection)
            (part ?PART ?DATABASE)
            (represents ?PART ?PRODUCTS)
            (forall (?MEMBER)
                (=>
                    (member ?MEMBER ?PRODUCTS)
                    (and
                        (instance ?MEMBER Physical)
                        (capability
                            (KappaFn ?BUYING
                                (and
                                    (instance ?BUYING Buying)
                                    (eCommerceSite ?BUYING ?WEBSITE))) patient ?MEMBER)))))))
UXExperimentalTerms.kif 2242-2259
(=>
    (webPurchases ?PURCHASES ?BUYER ?SITE)
    (forall (?BUYING)
        (=>
            (and
                (instance ?BUYING Buying)
                (agent ?BUYING ?BUYER)
                (eCommerceSite ?BUYING ?SITE))
            (member ?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 829-837
(=>
    (webSales ?SALES ?SELLER ?SITE)
    (forall (?SELLING)
        (=>
            (and
                (instance ?SELLING Selling)
                (agent ?SELLING ?SELLER)
                (eCommerceSite ?SELLING ?SITE))
            (member ?SELLING ?SALES))))
UXExperimentalTerms.kif 924-932


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners