Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SiteWideNewBuyersFn
SiteWideNewBuyersFn

appearance as argument number 1
-------------------------


(documentation SiteWideNewBuyersFn EnglishLanguage "(SiteWideNewBuyersFn ?INTERVAL ?SITE) Returns a collection of Agents who were agents of a Buying during TimeInterval ?INTERVAL where ?SITE was the instrument, and who were not registeredUsers before ?INTERVAL.") UXExperimentalTerms.kif 3566-3568
(domain SiteWideNewBuyersFn 1 TimeInterval) UXExperimentalTerms.kif 3558-3558 The number 1 argument of new buyers is an instance of time interval
(domain SiteWideNewBuyersFn 2 WebSite) UXExperimentalTerms.kif 3560-3560 The number 2 argument of new buyers is an instance of WebSite
(instance SiteWideNewBuyersFn BinaryFunction) UXExperimentalTerms.kif 3556-3556 New buyers is an instance of binary function
(range SiteWideNewBuyersFn Collection) UXExperimentalTerms.kif 3562-3562 The range of new buyers is an instance of collection

appearance as argument number 2
-------------------------


(format EnglishLanguage SiteWideNewBuyersFn "new buyers at %2 during %1") domainEnglishFormat.kif 1145-1145
(termFormat EnglishLanguage SiteWideNewBuyersFn "new buyers") UXExperimentalTerms.kif 3564-3564 "new buyers" is the printable form of new buyers in english language

consequent
-------------------------


(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (instance ?BEFORE TimeInterval)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWBUYERS)
                    (and
                        (exists (?BUYING)
                            (and
                                (instance ?AGENT Agent)
                                (instance ?BUYING Buying)
                                (agent ?BUYING ?AGENT)
                                (instrument ?BUYING ?SITE)
                                (during ?BUYING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?BUYING_BEFORE)
                                            (and
                                                (instance ?BUYING_BEFORE Buying)
                                                (agent ?BUYING_BEFORE ?AGENT)
                                                (instrument ?BUYING_BEFORE ?SITE)
                                                (during ?BUYING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3570-3603


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners