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 3627-3629
(domain SiteWideNewRegistrationsFn 1 TimeInterval)	UXExperimentalTerms.kif 3619-3619	domain SiteWideNewRegistrationsFn, 1 and TimeInterval
(domain SiteWideNewRegistrationsFn 2 WebSite)	UXExperimentalTerms.kif 3621-3621	domain SiteWideNewRegistrationsFn, 2 and WebSite
(instance SiteWideNewRegistrationsFn BinaryFunction)	UXExperimentalTerms.kif 3617-3617	instance SiteWideNewRegistrationsFn and BinaryFunction
(range SiteWideNewRegistrationsFn Collection)	UXExperimentalTerms.kif 3623-3623	range SiteWideNewRegistrationsFn and Collection

appearance as argument number 2

(format ChineseLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期间 %1 ")	domainEnglishFormat.kif 4547-4547
(format ChineseTraditionalLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期間 %1 ")	domainEnglishFormat.kif 4546-4546
(format EnglishLanguage SiteWideNewRegistrationsFn "new registrations at %2 during %1")	domainEnglishFormat.kif 4545-4545
(termFormat EnglishLanguage SiteWideNewRegistrationsFn "site-wide new registrations")	UXExperimentalTerms.kif 3625-3625

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 3631-3658

instance TimeInterval and TimeInterval instance WebSite and WebSite
Collection instance Collection and Collection Object
- instance Object and Human TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and registeredUser Object and WebSite TimeInterval_DURING instance TimeInterval_DURING and TimeInterval during TimeInterval_DURING and TimeInterval holdsDuring TimeInterval and registeredUser Object and WebSite
- member Object and Collection
equal Collection and SiteWideNewRegistrationsFn TimeInterval and WebSite

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: