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 3424-3426
(domain SiteWideNewRegistrationsFn 1 TimeInterval)	UXExperimentalTerms.kif 3416-3416	The number 1 argument of site-wide new registrations is an instance of time interval
(domain SiteWideNewRegistrationsFn 2 WebSite)	UXExperimentalTerms.kif 3418-3418	The number 2 argument of site-wide new registrations is an instance of web site
(instance SiteWideNewRegistrationsFn BinaryFunction)	UXExperimentalTerms.kif 3414-3414	Site-wide new registrations is an instance of binary function
(range SiteWideNewRegistrationsFn Collection)	UXExperimentalTerms.kif 3420-3420	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 4542-4542
(format ChineseTraditionalLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期間 %1 ")	domainEnglishFormat.kif 4541-4541
(format EnglishLanguage SiteWideNewRegistrationsFn "new registrations at %2 during %1")	domainEnglishFormat.kif 4540-4540
(termFormat EnglishLanguage SiteWideNewRegistrationsFn "site-wide new registrations")	UXExperimentalTerms.kif 3422-3422

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 3428-3455

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 the collection is equal to 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: