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