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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 1055-1058
(domain registeredUser 1 AutonomousAgent) UXExperimentalTerms.kif 1051-1051 domain registeredUser, 1 and AutonomousAgent
(domain registeredUser 2 WebSite) UXExperimentalTerms.kif 1053-1053 domain registeredUser, 2 and WebSite
(instance registeredUser BinaryPredicate) UXExperimentalTerms.kif 1049-1049 instance registeredUser and BinaryPredicate

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 1060-1060


        (instance ?P DigitalPost)
        (instance ?A AutonomousAgent)
        (instance ?W WebSite)
        (component ?P ?W)
        (creator ?A ?P)
        (registeredUser ?A ?W))
    (hasPurpose ?P
        (exists (?D)
                (instance ?D Disseminating)
                (agent ?D ?A)
                (patient ?D ?P)
                (instrument ?D ?W)))))
ComputerInput.kif 2826-2840
    (registeredUser ?USER ?SITE)
    (exists (?ACCT)
            (instance ?ACCT UserAccount)
            (hasAccount ?USER ?ACCT)
            (accountAtSite ?ACCT ?SITE))))
UXExperimentalTerms.kif 1070-1076
    (registeredUser ?USER ?WEBSITE)
    (exists (?DATABASE ?PART)
            (userDatabase ?DATABASE ?WEBSITE)
            (part ?PART ?DATABASE)
            (represents ?PART ?USER))))
UXExperimentalTerms.kif 1062-1068


        (accountAtSite ?ACCOUNT ?SITE)
        (hasAccount ?USER ?ACCOUNT))
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 1078-1082
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
            (instance ?NEWREGISTRATIONS Collection)
            (forall (?USER)
                        (instance ?USER Human)
                            (exists (?INTERVAL_BEFORE)
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (registeredUser ?USER ?SITE)))))
                        (exists (?INTERVAL_DURING)
                                (instance ?INTERVAL_DURING TimeInterval)
                                (during ?INTERVAL_DURING ?INTERVAL)
                                (holdsDuring ?INTERVAL
                                    (registeredUser ?USER ?SITE)))))
                    (member ?USER ?NEWREGISTRATIONS)))
            (equal ?NEWREGISTRATIONS
                (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3638-3665
        (newRegisteredUsers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?DURING)
            (instance ?DURING TimeInterval)
            (during ?DURING ?INT)
            (holdsDuring ?DURING
                (registeredUser ?MEMBER ?SITE)))))
UXExperimentalTerms.kif 3839-3848
        (newRegisteredUsers ?INT1 ?SITE ?COLL)
        (member ?MEMBER ?COLL))
        (exists (?INT2)
                (instance ?INT2 TimeInterval)
                (earlier ?INT2 ?INT1)
                (holdsDuring ?INT2
                    (registeredUser ?MEMBER ?SITE))))))
UXExperimentalTerms.kif 3850-3860
    (confirmedRegisteredUser ?USER ?SITE)
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 1100-1102
    (watchingListings ?USER ?COLL ?SITE)
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 1444-1446

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