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