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 3424-3426
(domain SiteWideNewRegistrationsFn 1 TimeInterval) UXExperimentalTerms.kif 3416-3416 Le nombre 1 argument de SiteWideNewRegistrationsFn est une instance de interval temporel
(domain SiteWideNewRegistrationsFn 2 WebSite) UXExperimentalTerms.kif 3418-3418 Le nombre 2 argument de SiteWideNewRegistrationsFn est une instance de WebSite
(instance SiteWideNewRegistrationsFn BinaryFunction) UXExperimentalTerms.kif 3414-3414 SiteWideNewRegistrationsFn est une instance de fonction binaire
(range SiteWideNewRegistrationsFn Collection) UXExperimentalTerms.kif 3420-3420 Le domaine de SiteWideNewRegistrationsFn est une instance de 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


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 3.0 is open source software produced by Articulate Software and its partners