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 | Il numero 1 argomenti di webPurchases è un istanza di InsiemeConcreto |
(domain webPurchases 2 Human) | UXExperimentalTerms.kif 822-822 | Il numero 2 argomenti di webPurchases è un istanza di Umano |
(domain webPurchases 3 WebSite) | UXExperimentalTerms.kif 823-823 | Il numero 3 argomenti di webPurchases è un istanza di WebSite |
(instance webPurchases TernaryPredicate) | UXExperimentalTerms.kif 820-820 | webPurchases è un' istanza di PredicatoTernario |
appearance as argument number 2 |
(format ChineseLanguage webPurchases "使用者 %2 在 %3 已 bought %1 ") | domainEnglishFormat.kif 4958-4958 | |
(format ChineseTraditionalLanguage webPurchases "使用者 %2 在 %3 已 bought %1 ") | domainEnglishFormat.kif 4957-4957 | |
(format EnglishLanguage webPurchases "user %2 at %3 has bought %1") | domainEnglishFormat.kif 4956-4956 | |
(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 |
|
(=> (webPurchases ?PURCHASES ?BUYER ?SITE) (forall (?BUYING) (=> (and (instance ?BUYING Buying) (agent ?BUYING ?BUYER) (eCommerceSite ?BUYING ?SITE)) (member ?BUYING ?PURCHASES)))) |
UXExperimentalTerms.kif 829-837 |
|