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 3582-3584
(domain SiteWideNewBuyersFn 1 TimeInterval) UXExperimentalTerms.kif 3574-3574 domain SiteWideNewBuyersFn, 1 and TimeInterval
(domain SiteWideNewBuyersFn 2 WebSite) UXExperimentalTerms.kif 3576-3576 domain SiteWideNewBuyersFn, 2 and WebSite
(instance SiteWideNewBuyersFn BinaryFunction) UXExperimentalTerms.kif 3572-3572 instance SiteWideNewBuyersFn and BinaryFunction
(range SiteWideNewBuyersFn Collection) UXExperimentalTerms.kif 3578-3578 range SiteWideNewBuyersFn and Collection

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


(format ChineseLanguage SiteWideNewBuyersFn "new buyers 在 %2 其间 %1 ") domainEnglishFormat.kif 4547-4547
(format ChineseTraditionalLanguage SiteWideNewBuyersFn "new buyers 在 %2 其間 %1 ") domainEnglishFormat.kif 4546-4546
(format EnglishLanguage SiteWideNewBuyersFn "new buyers at %2 during %1") domainEnglishFormat.kif 4545-4545
(termFormat EnglishLanguage SiteWideNewBuyersFn "new buyers") UXExperimentalTerms.kif 3580-3580

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


(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (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 3586-3618


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