Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| webSales |
| appearance as argument number 1 |
|
| (instance webSales TernaryPredicate) | UXExperimentalTerms.kif 911-911 | web sales is an instance of ternary predicate |
| (domain webSales 1 Collection) | UXExperimentalTerms.kif 913-913 | The number 1 argument of web sales is an instance of collection |
| (domain webSales 2 Human) | UXExperimentalTerms.kif 915-915 | The number 2 argument of web sales is an instance of human |
| (domain webSales 3 WebSite) | UXExperimentalTerms.kif 917-917 | The number 3 argument of web sales is an instance of web site |
| (documentation webSales EnglishLanguage "(webSales ?COLLECTION ?HUMAN ?SITE) relates a collection of all instances of Selling by a Human on the ?SITE.") | UXExperimentalTerms.kif 919-920 | The number 3 argument of web sales is an instance of web site |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage webSales "web sales") | UXExperimentalTerms.kif 922-922 | |
| (format EnglishLanguage webSales "user %2 at %3 has sold %1") | domainEnglishFormat.kif 4968-4968 | |
| (format ChineseTraditionalLanguage webSales "使用者 %2 在 %3 已 sold %1 ") | domainEnglishFormat.kif 4969-4969 | |
| (format ChineseLanguage webSales "使用者 %2 在 %3 已 sold %1 ") | domainEnglishFormat.kif 4970-4970 |
| antecedent |
|
|
| (=> (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 X at Y has sold Z, then For all FinancialTransaction W: if W is an instance of selling, X is an agent of W, and Y facilitates W, then W is a member of Z |
| (=> (and (webSales ?SALES ?SELLER ?SITE) (member ?SELLING ?SALES)) (and (instance ?SELLING Selling) (agent ?SELLING ?SELLER) (eCommerceSite ?SELLING ?SITE))) |
UXExperimentalTerms.kif 934-941 | If user X at Y has sold Z and W is a member of Z, then W is an instance of selling, X is an agent of W, and Y facilitates W |
|