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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - registeredUser
registeredUser

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


(documentation registeredUser EnglishLanguage "(registedUser ?AGENT ?SITE) means that ?AGENT is a registered user at the WebSite ?SITE - i.e. ?AGENT hasAccount a UserAccount and that UserAccount is an accountAtSite ?SITE. This also means that there is a part of the userDatabase of ?SITE that represents the ?AGENT.") UXExperimentalTerms.kif 1053-1056
(domain registeredUser 1 Agent) UXExperimentalTerms.kif 1049-1049 The number 1 argument of registered user is an instance of agent
(domain registeredUser 2 WebSite) UXExperimentalTerms.kif 1051-1051 The number 2 argument of registered user is an instance of WebSite
(instance registeredUser BinaryPredicate) UXExperimentalTerms.kif 1047-1047 registered user is an instance of binary predicate

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


(format ChineseLanguage registeredUser "%1 是 %2 的 registered user ") domainEnglishFormat.kif 4375-4375
(format ChineseTraditionalLanguage registeredUser "%1 是 %2 的 registered user ") domainEnglishFormat.kif 4374-4374
(format EnglishLanguage registeredUser "%1 is a registered user of %2") domainEnglishFormat.kif 4373-4373
(termFormat EnglishLanguage registeredUser "registered user") UXExperimentalTerms.kif 1058-1058

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


(=>
    (registeredUser ?USER ?SITE)
    (exists (?ACCT)
        (and
            (instance ?ACCT UserAccount)
            (hasAccount ?USER ?ACCT)
            (accountAtSite ?ACCT ?SITE))))
UXExperimentalTerms.kif 1068-1074
(=>
    (registeredUser ?USER ?WEBSITE)
    (exists (?DATABASE ?PART)
        (and
            (userDatabase ?DATABASE ?WEBSITE)
            (part ?PART ?DATABASE)
            (represents ?PART ?USER))))
UXExperimentalTerms.kif 1060-1066

consequent
-------------------------


(=>
    (and
        (accountAtSite ?ACCOUNT ?SITE)
        (hasAccount ?USER ?ACCOUNT))
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 1076-1080
(=>
    (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 3633-3660
(=>
    (and
        (newRegisteredUsers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?DURING)
        (and
            (instance ?DURING TimeInterval)
            (during ?DURING ?INT)
            (holdsDuring ?DURING
                (registeredUser ?MEMBER ?SITE)))))
UXExperimentalTerms.kif 3834-3843
(=>
    (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 3845-3855
(=>
    (confirmedRegisteredUser ?USER ?SITE)
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 1098-1100
(=>
    (watchingListings ?USER ?COLL ?SITE)
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 1443-1445


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