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 3372-3374
(domain SiteWideNewBuyersFn 1 TimeInterval) UXExperimentalTerms.kif 3364-3364 SiteWideNewBuyersFn の数値 1 引数は 時間間隔instance では %n
(domain SiteWideNewBuyersFn 2 WebSite) UXExperimentalTerms.kif 3366-3366 SiteWideNewBuyersFn の数値 2 引数は WebSiteinstance では %n
(instance SiteWideNewBuyersFn BinaryFunction) UXExperimentalTerms.kif 3362-3362 SiteWideNewBuyersFn2変数関数instance では %n
(range SiteWideNewBuyersFn Collection) UXExperimentalTerms.kif 3368-3368 SiteWideNewBuyersFnrangeコレクション のインスタンス では %n

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


(format ChineseLanguage SiteWideNewBuyersFn "new buyers 在 %2 其间 %1 ") domainEnglishFormat.kif 4538-4538
(format ChineseTraditionalLanguage SiteWideNewBuyersFn "new buyers 在 %2 其間 %1 ") domainEnglishFormat.kif 4537-4537
(format EnglishLanguage SiteWideNewBuyersFn "new buyers at %2 during %1") domainEnglishFormat.kif 4536-4536
(termFormat EnglishLanguage SiteWideNewBuyersFn "new buyers") UXExperimentalTerms.kif 3370-3370

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 AutonomousAgent)
                                (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 3376-3408


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