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 3815-3817
(domain newRegisteredUsers 1 TimeInterval) UXExperimentalTerms.kif 3807-3807
(domain newRegisteredUsers 2 WebSite) UXExperimentalTerms.kif 3809-3809
(domain newRegisteredUsers 3 Collection) UXExperimentalTerms.kif 3811-3811
(instance newRegisteredUsers TernaryPredicate) UXExperimentalTerms.kif 3805-3805

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


(format EnglishLanguage newRegisteredUsers "members of %3 have registered for %2 during %1") domainEnglishFormat.kif 1003-1003
(termFormat EnglishLanguage newRegisteredUsers "new registered users") UXExperimentalTerms.kif 3813-3813

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


(=>
    (and
        (newRegisteredUsers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?DURING)
        (and
            (instance ?DURING TimeInterval)
            (during ?DURING ?INT1)
            (holdsDuring ?DURING
                (registeredUser ?MEMBER ?SITE)))))
UXExperimentalTerms.kif 3825-3834
(=>
    (and
        (newRegisteredUsers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER Agent))
UXExperimentalTerms.kif 3819-3823
(=>
    (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 3836-3846


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