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

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1713-1714
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1705-1705	The number 1 argument of e-commerce site is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1707-1707	The number 2 argument of e-commerce site is an instance of web site
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1703-1703	e-commerce site is an instance of case role
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1711-1711	e-commerce site is a subrelation of broker
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1709-1709	e-commerce site is a subrelation of instrument

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3294-3294
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3293-3293
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3292-3292
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65816-65816

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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