webSales |
appearance as argument number 1 |
(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 | |
(domain webSales 1 Collection) | UXExperimentalTerms.kif 913-913 | Il numero 1 argomenti di webSales è un istanza di InsiemeConcreto |
(domain webSales 2 Human) | UXExperimentalTerms.kif 915-915 | Il numero 2 argomenti di webSales è un istanza di Umano |
(domain webSales 3 WebSite) | UXExperimentalTerms.kif 917-917 | Il numero 3 argomenti di webSales è un istanza di WebSite |
(instance webSales TernaryPredicate) | UXExperimentalTerms.kif 911-911 | webSales è un' istanza di PredicatoTernario |
appearance as argument number 2 |
(format ChineseLanguage webSales "使用者 %2 在 %3 已 sold %1 ") | domainEnglishFormat.kif 4962-4962 | |
(format ChineseTraditionalLanguage webSales "使用者 %2 在 %3 已 sold %1 ") | domainEnglishFormat.kif 4961-4961 | |
(format EnglishLanguage webSales "user %2 at %3 has sold %1") | domainEnglishFormat.kif 4960-4960 | |
(termFormat EnglishLanguage webSales "web sales") | UXExperimentalTerms.kif 922-922 |
antecedent |
(=> (and (webSales ?SALES ?SELLER ?SITE) (member ?SELLING ?SALES)) (and (instance ?SELLING Selling) (agent ?SELLING ?SELLER) (eCommerceSite ?SELLING ?SITE))) |
UXExperimentalTerms.kif 934-941 |
|
(=> (webSales ?SALES ?SELLER ?SITE) (forall (?SELLING) (=> (and (instance ?SELLING Selling) (agent ?SELLING ?SELLER) (eCommerceSite ?SELLING ?SITE)) (member ?SELLING ?SALES)))) |
UXExperimentalTerms.kif 924-932 |
|