webPurchases - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - webPurchases

webPurchases

appearance as argument number 1

(documentation webPurchases EnglishLanguage "(webPurchases ?COLLECTION ?HUMAN) relates a collection of all instances of Buying by a Human on the WebSite.")	UXExperimentalTerms.kif 825-826
(domain webPurchases 1 Collection)	UXExperimentalTerms.kif 821-821	The number 1 argument of web purchases is an instance of collection
(domain webPurchases 2 Human)	UXExperimentalTerms.kif 822-822	The number 2 argument of web purchases is an instance of human
(domain webPurchases 3 WebSite)	UXExperimentalTerms.kif 823-823	The number 3 argument of web purchases is an instance of web site
(instance webPurchases TernaryPredicate)	UXExperimentalTerms.kif 820-820	web purchases is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage webPurchases "使用者 %2 在 %3 已 bought %1 ")	domainEnglishFormat.kif 4962-4962
(format ChineseTraditionalLanguage webPurchases "使用者 %2 在 %3 已 bought %1 ")	domainEnglishFormat.kif 4961-4961
(format EnglishLanguage webPurchases "user %2 at %3 has bought %1")	domainEnglishFormat.kif 4960-4960
(termFormat EnglishLanguage webPurchases "web purchases")	UXExperimentalTerms.kif 827-827

antecedent

(=> (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
(=> (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

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