TreeView Knowledge Base Browser - SiteWideNewSellersFn

appearance as argument number 1

(instance SiteWideNewSellersFn BinaryFunction)	UXExperimentalTerms.kif 3460-3460	Site_wide new sellers is an instance of binary function
(domain SiteWideNewSellersFn 1 TimeInterval)	UXExperimentalTerms.kif 3462-3462	The number 1 argument of site_wide new sellers is an instance of timeframe
(domain SiteWideNewSellersFn 2 WebSite)	UXExperimentalTerms.kif 3464-3464	The number 2 argument of site_wide new sellers is an instance of web site
(range SiteWideNewSellersFn Collection)	UXExperimentalTerms.kif 3466-3466	The range of site_wide new sellers is an instance of collection
(documentation SiteWideNewSellersFn EnglishLanguage "(SiteWideNewSellersFn ?INTERVAL ?SITE) Returns a collection of Agents who were agents of a Selling during TimeInterval ?INTERVAL where ?SITE was the instrument, and who were not registeredUsers before ?INTERVAL.")	UXExperimentalTerms.kif 3470-3472	The range of site_wide new sellers is an instance of collection

appearance as argument number 2

(termFormat EnglishLanguage SiteWideNewSellersFn "site_wide new sellers")	UXExperimentalTerms.kif 3468-3468
(format EnglishLanguage SiteWideNewSellersFn "new sellers at %2 during %1")	domainEnglishFormat.kif 4548-4548
(format ChineseTraditionalLanguage SiteWideNewSellersFn "new sellers 在 %2 期間 %1 ")	domainEnglishFormat.kif 4549-4549
(format ChineseLanguage SiteWideNewSellersFn "new sellers 在 %2 期间 %1 ")	domainEnglishFormat.kif 4550-4550

consequent

(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWSELLERS)
        (and
            (instance ?NEWSELLERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWSELLERS)
                    (and
                        (exists (?SELLING)
                            (and
                                (instance ?AGENT AutonomousAgent)
                                (instance ?SELLING Selling)
                                (agent ?SELLING ?AGENT)
                                (instrument ?SELLING ?SITE)
                                (during ?SELLING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?SELLING_BEFORE)
                                            (and
                                                (instance ?SELLING_BEFORE Selling)
                                                (agent ?SELLING_BEFORE ?AGENT)
                                                (instrument ?SELLING_BEFORE ?SITE)
                                                (during ?SELLING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))

UXExperimentalTerms.kif 3474-3506

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 selling (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 ?SELLING_BEFORE such that ?SELLING_BEFORE is an instance of selling (10) W is an agent of ?SELLING_BEFORE (11) Y is an instrument for ?SELLING_BEFORE (12) ?SELLING_BEFORE takes place during X holds during ?INTERVAL_BEFORE (13) equal new sellers at Y during X (14) Z

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

KB Term:			Term intersection

English Word: