eCommerceSite - Sigma Knowledge base Browser

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	The number 1 argument of e_commerce site is an instance of financial transaction
(domain eCommerceSite 2 WebSite)	UXExperimentalTerms.kif 1707-1707	The number 2 argument of e_commerce site is an instance of web site
(instance eCommerceSite CaseRole)	UXExperimentalTerms.kif 1703-1703	e_commerce site is an instance of case role
(subrelation eCommerceSite broker)	UXExperimentalTerms.kif 1711-1711	e_commerce site is a subrelation of broker
(subrelation eCommerceSite instrument)	UXExperimentalTerms.kif 1709-1709	e_commerce site is a subrelation of instrument

appearance as argument number 2

(format ChineseLanguage eCommerceSite "%2 facilitates %1 ")	domainEnglishFormat.kif 3290-3290
(format ChineseTraditionalLanguage eCommerceSite "%2 facilitates %1 ")	domainEnglishFormat.kif 3289-3289
(format EnglishLanguage eCommerceSite "%2 facilitates %1")	domainEnglishFormat.kif 3288-3288
(termFormat EnglishLanguage eCommerceSite "e_commerce site")	domainEnglishFormat.kif 65845-65845

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	If a collection are first time buyers on a web site during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction takes place during the time interval
(=> (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	If a collection are first time buyers on a web site during a time interval and an agent is a member of the collection, then there doesn't exist a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction happens earlier than the time interval
(=> (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	If a collection are first time sellers on a web site during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction takes place during the time interval
(=> (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	If a collection are first time sellers on a web site during a time interval and an agent is a member of the collection, then there doesn't exist a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction happens earlier than the time interval
(=> (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	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then the number of instances in there exist an entity, another entity and a third entity such that the class described by the entity and the number of instances in the collection is equal to number of bids in the collection
(=> (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 an agent buys a web listing and an entity is an instance of object and a web site is an instance of web site and the entityECT is a patient of the web listing and the web listing is hosted on the web site, then there exists a financial transaction such that the financial transaction is an instance of buying and the entity is a patient of the financial transaction and the web site facilitates the financial transaction and the agent is an agent of the financial transaction
(=> (and (webPurchases ?PURCHASES ?BUYER ?SITE) (member ?BUYING ?PURCHASES)) (and (instance ?BUYING Buying) (agent ?BUYING ?BUYER) (eCommerceSite ?BUYING ?SITE)))	UXExperimentalTerms.kif 839-846	If user a human at a web site has bought a collection and a financial transaction is a member of the collection, then the financial transaction is an instance of buying and the human is an agent of the financial transaction and the web site facilitates the financial transaction
(=> (and (webSales ?SALES ?SELLER ?SITE) (member ?SELLING ?SALES)) (and (instance ?SELLING Selling) (agent ?SELLING ?SELLER) (eCommerceSite ?SELLING ?SITE)))	UXExperimentalTerms.kif 934-941	If user a human at a web site has sold a collection and a financial transaction is a member of the collection, then the financial transaction is an instance of selling and the human is an agent of the financial transaction and the web site facilitates the financial transaction
(=> (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 a process is an instance of final fee, then there exist a web listing, a financial transaction,, , an agent,, , an entity and a web site such that the web listing is an instance of web listing and the financial transaction is an instance of selling and the agent is an instance of agent and the entity is an instance of physical and the web listing is an instance of web listing and the entity is a patient of the web listing and the entity is a patient of the financial transaction and the financial transaction causes the process and the agent is an agent of the process and the web listing is hosted on the web site and the agent possesses the web site and the agent facilitates the financial transaction
(=> (prohibitedItem ?ITEM ?SITE) (modalAttribute (exists (?SELLING) (and (instance ?SELLING Selling) (eCommerceSite ?SELLING ?SITE))) Prohibition))	UXExperimentalTerms.kif 398-405	If an object is prohibited for sale on a web site, then the statement there exists an entity such that the entity is an instance of selling and the web site facilitates the entity has the modal force of prohibition
(=> (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	If a database is the catalog for a web site, then there exist an object, a collection and a symbolic string such that the collection is an instance of collection and the object is a part of the database and the object expresses the collection and for all another object if the other object is a member of the collection, then the other object is an instance of physical and the other object is capable of doing the class described by the symbolic string as a patient
(=> (webPurchases ?PURCHASES ?BUYER ?SITE) (forall (?BUYING) (=> (and (instance ?BUYING Buying) (agent ?BUYING ?BUYER) (eCommerceSite ?BUYING ?SITE)) (member ?BUYING ?PURCHASES))))	UXExperimentalTerms.kif 829-837	If user a human at a web site has bought a collection, then for all a financial transaction if the financial transaction is an instance of buying and the human is an agent of the financial transaction and the web site facilitates the financial transaction, then the financial transaction is a member of the collection
(=> (webSales ?SALES ?SELLER ?SITE) (forall (?SELLING) (=> (and (instance ?SELLING Selling) (agent ?SELLING ?SELLER) (eCommerceSite ?SELLING ?SITE)) (member ?SELLING ?SALES))))	UXExperimentalTerms.kif 924-932	If user a human at a web site has sold a collection, then for all a financial transaction if the financial transaction is an instance of selling and the human is an agent of the financial transaction and the web site facilitates the financial transaction, then the financial transaction is a member of the collection

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