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

Formal Language: 



KB Term:  Term intersection
English Word: 

  newRegisteredUsers

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 3619-3621
(domain newRegisteredUsers 1 TimeInterval) UXExperimentalTerms.kif 3611-3611 Le nombre 1 argument de newRegisteredUsers est une instance de interval temporel
(domain newRegisteredUsers 2 WebSite) UXExperimentalTerms.kif 3613-3613 Le nombre 2 argument de newRegisteredUsers est une instance de WebSite
(domain newRegisteredUsers 3 Collection) UXExperimentalTerms.kif 3615-3615 Le nombre 3 argument de newRegisteredUsers est une instance de collection
(instance newRegisteredUsers TernaryPredicate) UXExperimentalTerms.kif 3609-3609 newRegisteredUsers est une instance de pr�dicat ternaire

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


(format ChineseLanguage newRegisteredUsers "%3 的成员有 registered 对于 %2 在期间 %1 ") domainEnglishFormat.kif 3974-3974
(format ChineseTraditionalLanguage newRegisteredUsers "%3 的成員有 registered 對於 %2 在期間 %1 ") domainEnglishFormat.kif 3973-3973
(format EnglishLanguage newRegisteredUsers "members of %3 have registered for %2 during %1") domainEnglishFormat.kif 3972-3972
(termFormat EnglishLanguage newRegisteredUsers "new registered users") UXExperimentalTerms.kif 3617-3617

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 3629-3638
(=>
    (and
        (newRegisteredUsers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER AutonomousAgent))
UXExperimentalTerms.kif 3623-3627
(=>
    (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 3640-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 3.0 is open source software produced by Articulate Software and its partners