TreeView Knowledge Base Browser - SiteWideNewBuyersFn

appearance as argument number 1

(instance SiteWideNewBuyersFn BinaryFunction)	UXExperimentalTerms.kif 3361-3361	New buyers is an instance of binary function
(domain SiteWideNewBuyersFn 1 TimeInterval)	UXExperimentalTerms.kif 3363-3363	The number 1 argument of new buyers is an instance of timeframe
(domain SiteWideNewBuyersFn 2 WebSite)	UXExperimentalTerms.kif 3365-3365	The number 2 argument of new buyers is an instance of web site
(range SiteWideNewBuyersFn Collection)	UXExperimentalTerms.kif 3367-3367	The range of new buyers is an instance of collection
(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 3371-3373	The range of new buyers is an instance of collection

appearance as argument number 2

(termFormat EnglishLanguage SiteWideNewBuyersFn "new buyers")	UXExperimentalTerms.kif 3369-3369
(format EnglishLanguage SiteWideNewBuyersFn "new buyers at %2 during %1")	domainEnglishFormat.kif 4540-4540
(format ChineseTraditionalLanguage SiteWideNewBuyersFn "new buyers 在 %2 其間 %1 ")	domainEnglishFormat.kif 4541-4541
(format ChineseLanguage SiteWideNewBuyersFn "new buyers 在 %2 其间 %1 ")	domainEnglishFormat.kif 4542-4542

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 3375-3407

If X is an instance of timeframe and Y is an instance of web site, then All of the following hold: (1) there exists Z such that Z is an instance of collection (2) W W is a member of Zthere exists V such that W is an instance of agent (3) V is an instance of buying (4) W is an agent of V (5) Y is an instrument for V (6) V takes place during X (7) there doesn't exist ?INTERVAL_BEFORE such that ?INTERVAL_BEFORE is an instance of timeframe (8) ?INTERVAL_BEFORE happens earlier than X (9) there exists ?BUYING_BEFORE such that ?BUYING_BEFORE is an instance of buying (10) W is an agent of ?BUYING_BEFORE (11) Y is an instrument for ?BUYING_BEFORE (12) ?BUYING_BEFORE takes place during X holds during ?INTERVAL_BEFORE (13) equal new buyers at Y during X (14) Z

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: