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

Formal Language: 



KB Term:  Term intersection
English Word: 

  registeredUser

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 858-861
(domain registeredUser 1 AutonomousAgent) UXExperimentalTerms.kif 854-854 registeredUser 的 1 数量 是 施事体instance
(domain registeredUser 2 WebSite) UXExperimentalTerms.kif 856-856 registeredUser 的 2 数量 是 WebSiteinstance
(instance registeredUser BinaryPredicate) UXExperimentalTerms.kif 852-852 registeredUser二元谓语instance

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


(format ChineseLanguage registeredUser "%1 是 %2 的 registered user ") domainEnglishFormat.kif 4366-4366
(format ChineseTraditionalLanguage registeredUser "%1 是 %2 的 registered user ") domainEnglishFormat.kif 4365-4365
(format EnglishLanguage registeredUser "%1 is a registered user of %2") domainEnglishFormat.kif 4364-4364
(termFormat EnglishLanguage registeredUser "registered user") UXExperimentalTerms.kif 863-863

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


(=>
    (and
        (instance ?P DigitalPost)
        (instance ?A AutonomousAgent)
        (instance ?W WebSite)
        (component ?P ?W)
        (creator ?A ?P)
        (registeredUser ?A ?W))
    (hasPurpose ?P
        (exists (?D)
            (and
                (instance ?D Disseminating)
                (agent ?D ?A)
                (patient ?D ?P)
                (instrument ?D ?W)))))
ComputerInput.kif 2830-2844
(=>
    (registeredUser ?USER ?SITE)
    (exists (?ACCT)
        (and
            (instance ?ACCT UserAccount)
            (hasAccount ?USER ?ACCT)
            (accountAtSite ?ACCT ?SITE))))
UXExperimentalTerms.kif 873-879
(=>
    (registeredUser ?USER ?WEBSITE)
    (exists (?DATABASE ?PART)
        (and
            (userDatabase ?DATABASE ?WEBSITE)
            (part ?PART ?DATABASE)
            (represents ?PART ?USER))))
UXExperimentalTerms.kif 865-871

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


(=>
    (and
        (accountAtSite ?ACCOUNT ?SITE)
        (hasAccount ?USER ?ACCOUNT))
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 881-885
(=>
    (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
(=>
    (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 ?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
(=>
    (confirmedRegisteredUser ?USER ?SITE)
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 903-905
(=>
    (watchingListings ?USER ?COLL ?SITE)
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 1247-1249


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