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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of site-wide new registrations is an instance of time interval
(domain SiteWideNewRegistrationsFn 2 WebSite) UXExperimentalTerms.kif 3613-3613 The number 2 argument of site-wide new registrations is an instance of WebSite
(instance SiteWideNewRegistrationsFn BinaryFunction) UXExperimentalTerms.kif 3609-3609 Site-wide new registrations is an instance of binary function
(range SiteWideNewRegistrationsFn Collection) UXExperimentalTerms.kif 3615-3615 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 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 3617-3617 "site-wide new registrations" is the printable form of site-wide new registrations in english language

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