SiteWideNewBuyersFn - Sigma Knowledge base Browser

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	The number 1 argument of new buyers is an instance of time interval
(domain SiteWideNewBuyersFn 2 WebSite)	UXExperimentalTerms.kif 3366-3366	The number 2 argument of new buyers is an instance of web site
(instance SiteWideNewBuyersFn BinaryFunction)	UXExperimentalTerms.kif 3362-3362	New buyers is an instance of binary function
(range SiteWideNewBuyersFn Collection)	UXExperimentalTerms.kif 3368-3368	The range of new buyers is an instance of collection

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

If a time interval is an instance of time interval and a web site is an instance of web site,
then there exists a collection such that the collection is an instance of collection and for all an agent
- if the agent is a member of the collection,
- then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of buying and the agent is an agent of the other time interval and the web site is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of buying and the agent is an agent of the other time interval_BEFORE and the web site is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE
and new buyers at the web site during the time interval is equal to the collection

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

KB Term:			Term intersection

English Word: