SiteWideNewRegistrationsFn - Sigma Knowledge base Browser

appearance as argument number 1

(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
(domain SiteWideNewRegistrationsFn 1 TimeInterval)	UXExperimentalTerms.kif 3415-3415	The number 1 argument of site_wide new registrations is an instance of time interval
(domain SiteWideNewRegistrationsFn 2 WebSite)	UXExperimentalTerms.kif 3417-3417	The number 2 argument of site_wide new registrations is an instance of web site
(instance SiteWideNewRegistrationsFn BinaryFunction)	UXExperimentalTerms.kif 3413-3413	Site_wide new registrations is an instance of binary function
(range SiteWideNewRegistrationsFn Collection)	UXExperimentalTerms.kif 3419-3419	The range of site_wide new registrations is an instance of collection

appearance as argument number 2

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

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 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 a physical
- if the physical is an instance of human 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 the physical is a registered user of the web site holds during the time interval_BEFORE and there exists the time interval_DURING such that the time interval_DURING is an instance of time interval and the time interval_DURING takes place during the time interval and the physical is a registered user of the web site holds during the time interval,
- then the physical is a member of the collection
and equal the collection and new registrations at the web site during the time interval

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: