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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - newRegisteredUsers
newRegisteredUsers

appearance as argument number 1
-------------------------


(documentation newRegisteredUsers EnglishLanguage "(newRegisteredUsers ?INT ?SITE ?COLL) means that ?COLL is the Collection of Agents who are registeredUsers of the WebSite ?SITE during some TimeInterval during the TimeInterval ?INT, but were not during an earlier TimeInterval.") UXExperimentalTerms.kif 3822-3824
(domain newRegisteredUsers 1 TimeInterval) UXExperimentalTerms.kif 3814-3814 The number 1 argument of new registered users is an instance of time interval
(domain newRegisteredUsers 2 WebSite) UXExperimentalTerms.kif 3816-3816 The number 2 argument of new registered users is an instance of WebSite
(domain newRegisteredUsers 3 Collection) UXExperimentalTerms.kif 3818-3818 The number 3 argument of new registered users is an instance of collection
(instance newRegisteredUsers TernaryPredicate) UXExperimentalTerms.kif 3812-3812 new registered users is an instance of ternary predicate

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


(format ChineseLanguage newRegisteredUsers "%3 的成员有 registered 对于 %2 在期间 %1 ") domainEnglishFormat.kif 3975-3975
(format ChineseTraditionalLanguage newRegisteredUsers "%3 的成員有 registered 對於 %2 在期間 %1 ") domainEnglishFormat.kif 3974-3974
(format EnglishLanguage newRegisteredUsers "members of %3 have registered for %2 during %1") domainEnglishFormat.kif 3973-3973
(termFormat EnglishLanguage newRegisteredUsers "new registered users") UXExperimentalTerms.kif 3820-3820 "new registered users" is the printable form of new registered users in english language

antecedent
-------------------------


(=>
    (and
        (newRegisteredUsers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?DURING)
        (and
            (instance ?DURING TimeInterval)
            (during ?DURING ?INT)
            (holdsDuring ?DURING
                (registeredUser ?MEMBER ?SITE)))))
UXExperimentalTerms.kif 3832-3841
(=>
    (and
        (newRegisteredUsers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER Agent))
UXExperimentalTerms.kif 3826-3830
(=>
    (and
        (newRegisteredUsers ?INT1 ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (not
        (exists (?INT2)
            (and
                (instance ?INT2 TimeInterval)
                (earlier ?INT2 ?INT1)
                (holdsDuring ?INT2
                    (registeredUser ?MEMBER ?SITE))))))
UXExperimentalTerms.kif 3843-3853


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