Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SiteWideNewRegistrationsFn

Sigma KEE - SiteWideNewRegistrationsFn
SiteWideNewRegistrationsFn

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 3619-3621
(domain SiteWideNewRegistrationsFn 1 TimeInterval) UXExperimentalTerms.kif 3611-3611
(domain SiteWideNewRegistrationsFn 2 WebSite) UXExperimentalTerms.kif 3613-3613
(instance SiteWideNewRegistrationsFn BinaryFunction) UXExperimentalTerms.kif 3609-3609
(range SiteWideNewRegistrationsFn Collection) UXExperimentalTerms.kif 3615-3615

appearance as argument number 2
-------------------------


(format EnglishLanguage SiteWideNewRegistrationsFn "new registrations at %2 during %1") domainEnglishFormat.kif 1146-1146
(termFormat EnglishLanguage SiteWideNewRegistrationsFn "site-wide new registrations") UXExperimentalTerms.kif 3617-3617

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 ?INSTERVAL_DURING TimeInterval)
                                (during ?INTERVAL_DURING ?INTERVAL)
                                (holdsDuring ?INTERVAL
                                    (registeredUser ?USER ?SITE)))))
                    (member ?USER ?NEWREGISTRATIONS)))
            (equal ?NEWREGISTRATIONS
                (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3623-3650


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

Show without tree


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