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 1919-1920
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1911-1911 eCommerceSite 的 1 数量 是 金融交易instance
(domain eCommerceSite 2 WebSite) UXExperimentalTerms.kif 1913-1913 eCommerceSite 的 2 数量 是 WebSiteinstance
(instance eCommerceSite CaseRole) UXExperimentalTerms.kif 1909-1909 eCommerceSite格角色instance
(subrelation eCommerceSite broker) UXExperimentalTerms.kif 1917-1917 eCommerceSitebrokersubrelation
(subrelation eCommerceSite instrument) UXExperimentalTerms.kif 1915-1915 eCommerceSite工具subrelation

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 65912-65912

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 3740-3749
(=>
    (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 3751-3761
(=>
    (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 3788-3797
(=>
    (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 3799-3809
(=>
    (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 3051-3076
(=>
    (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 105-117
(=>
    (and
        (webPurchases ?PURCHASES ?BUYER ?SITE)
        (member ?BUYING ?PURCHASES))
    (and
        (instance ?BUYING Buying)
        (agent ?BUYING ?BUYER)
        (eCommerceSite ?BUYING ?SITE)))
UXExperimentalTerms.kif 1036-1043
(=>
    (and
        (webSales ?SALES ?SELLER ?SITE)
        (member ?SELLING ?SALES))
    (and
        (instance ?SELLING Selling)
        (agent ?SELLING ?SELLER)
        (eCommerceSite ?SELLING ?SITE)))
UXExperimentalTerms.kif 1131-1138
(=>
    (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 307-322
(=>
    (prohibitedItem ?ITEM ?SITE)
    (modalAttribute
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (eCommerceSite ?SELLING ?SITE))) Prohibition))
UXExperimentalTerms.kif 496-503
(=>
    (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 2448-2465
(=>
    (webPurchases ?PURCHASES ?BUYER ?SITE)
    (forall (?BUYING)
        (=>
            (and
                (instance ?BUYING Buying)
                (agent ?BUYING ?BUYER)
                (eCommerceSite ?BUYING ?SITE))
            (member ?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 1026-1034
(=>
    (webSales ?SALES ?SELLER ?SITE)
    (forall (?SELLING)
        (=>
            (and
                (instance ?SELLING Selling)
                (agent ?SELLING ?SELLER)
                (eCommerceSite ?SELLING ?SITE))
            (member ?SELLING ?SALES))))
UXExperimentalTerms.kif 1121-1129


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