TreeView Knowledge Base Browser - SiteWideNewRegistrationsFn

appearance as argument number 1

(instance SiteWideNewRegistrationsFn BinaryFunction)	UXExperimentalTerms.kif 3413-3413	Site_wide new registrations is an instance of binary function
(domain SiteWideNewRegistrationsFn 1 TimeInterval)	UXExperimentalTerms.kif 3415-3415	The number 1 argument of site_wide new registrations is an instance of timeframe
(domain SiteWideNewRegistrationsFn 2 WebSite)	UXExperimentalTerms.kif 3417-3417	The number 2 argument of site_wide new registrations is an instance of web site
(range SiteWideNewRegistrationsFn Collection)	UXExperimentalTerms.kif 3419-3419	The range of site_wide new registrations is an instance of collection
(documentation SiteWideNewRegistrationsFn EnglishLanguage "(SiteWideNewRegistrationsFn ?INTERVAL ?SITE) returns a collection of Agents who were not registerUsers of ?SITE before ?INTERVAL, but were registeredUsers for some Interval during ?INTERVAL")	UXExperimentalTerms.kif 3423-3425	The range of site_wide new registrations is an instance of collection

appearance as argument number 2

(termFormat EnglishLanguage SiteWideNewRegistrationsFn "site_wide new registrations")	UXExperimentalTerms.kif 3421-3421
(format EnglishLanguage SiteWideNewRegistrationsFn "new registrations at %2 during %1")	domainEnglishFormat.kif 4544-4544
(format ChineseTraditionalLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期間 %1 ")	domainEnglishFormat.kif 4545-4545
(format ChineseLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期间 %1 ")	domainEnglishFormat.kif 4546-4546

consequent

(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWREGISTRATIONS)
        (and
            (instance ?NEWREGISTRATIONS Collection)
            (forall (?USER)
                (=>
                    (and
                        (instance ?USER Human)
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (registeredUser ?USER ?SITE)))))
                        (exists (?INTERVAL_DURING)
                            (and
                                (instance ?INTERVAL_DURING TimeInterval)
                                (during ?INTERVAL_DURING ?INTERVAL)
                                (holdsDuring ?INTERVAL
                                    (registeredUser ?USER ?SITE)))))
                    (member ?USER ?NEWREGISTRATIONS)))
            (equal ?NEWREGISTRATIONS
                (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))

UXExperimentalTerms.kif 3427-3454

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 an instance of human (3) there doesn't exist ?INTERVAL_BEFORE such that ?INTERVAL_BEFORE is an instance of timeframe (4) ?INTERVAL_BEFORE happens earlier than X (5) W is a registered user of Y holds during ?INTERVAL_BEFORE (6) there exists ?INTERVAL_DURING such that ?INTERVAL_DURING is an instance of timeframe (7) ?INTERVAL_DURING takes place during X (8) W is a registered user of Y holds during X W is a member of Z (9) equal Z (10) new registrations at Y during X

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

KB Term:			Term intersection

English Word: