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 3632-3634
(domain SiteWideNewRegistrationsFn 1 TimeInterval)	UXExperimentalTerms.kif 3624-3624	The number 1 argument of site-wide new registrations is an instance of time interval
(domain SiteWideNewRegistrationsFn 2 WebSite)	UXExperimentalTerms.kif 3626-3626	The number 2 argument of site-wide new registrations is an instance of WebSite
(instance SiteWideNewRegistrationsFn BinaryFunction)	UXExperimentalTerms.kif 3622-3622	Site-wide new registrations is an instance of binary function
(range SiteWideNewRegistrationsFn Collection)	UXExperimentalTerms.kif 3628-3628	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 4551-4551
(format ChineseTraditionalLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期間 %1 ")	domainEnglishFormat.kif 4550-4550
(format EnglishLanguage SiteWideNewRegistrationsFn "new registrations at %2 during %1")	domainEnglishFormat.kif 4549-4549
(termFormat EnglishLanguage SiteWideNewRegistrationsFn "site-wide new registrations")	UXExperimentalTerms.kif 3630-3630

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 3636-3663

If a time interval is an instance of time interval and a WebSite is an instance of WebSite,
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 WebSite 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 WebSite holds during the time interval,
- then the physical is a member of the collection
and the collection is equal to new registrations at the WebSite 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: