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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SiteWideNewBuyersFn

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
(domain SiteWideNewBuyersFn 2 WebSite) UXExperimentalTerms.kif 3560-3560
(instance SiteWideNewBuyersFn BinaryFunction) UXExperimentalTerms.kif 3556-3556
(range SiteWideNewBuyersFn Collection) UXExperimentalTerms.kif 3562-3562

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

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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