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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - userDatabase

appearance as argument number 1

(documentation userDatabase EnglishLanguage "(userDatabase ?DATABASE ?WEBSITE) relates a Database and a WebSite, and signifies that ?DATABASE has a part which represents the Collection of users of the ?WEBSITE - i.e. members of this collection are Agents who are agents of an AccessingWebPage where the patient of the accessing is component of ?WebSite.") UXExperimentalTerms.kif 2174-2177
(domain userDatabase 1 Database) UXExperimentalTerms.kif 2170-2170 The number 1 argument of user database is an instance of database
(domain userDatabase 2 WebSite) UXExperimentalTerms.kif 2172-2172 The number 2 argument of user database is an instance of web site
(instance userDatabase BinaryPredicate) UXExperimentalTerms.kif 2168-2168 user database is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage userDatabase "%1 是 user database 对于 %2 ") domainEnglishFormat.kif 4886-4886
(format ChineseTraditionalLanguage userDatabase "%1 是 user database 對於 %2 ") domainEnglishFormat.kif 4885-4885
(format EnglishLanguage userDatabase "%1 is the user database for %2") domainEnglishFormat.kif 4884-4884
(termFormat EnglishLanguage userDatabase "user database") UXExperimentalTerms.kif 2179-2179


    (userDatabase ?DATABASE ?WEBSITE)
    (exists (?PART ?USERS)
            (instance ?USERS Collection)
            (part ?PART ?DATABASE)
            (represents ?PART ?USERS)
            (forall (?MEMBER)
                    (member ?MEMBER ?USERS)
                        (instance ?MEMBER AutonomousAgent)
                        (exists (?ACCESSING ?PAGE)
                                (instance ?ACCESSING AccessingWebPage)
                                (instance ?PAGE WebPage)
                                (patient ?ACCESSING Page)
                                (agent ?ACCESSING AutonomousAgent)
                                (component ?PAGE ?WEBSITE)))))))))
UXExperimentalTerms.kif 2181-2199


    (registeredUser ?USER ?WEBSITE)
    (exists (?DATABASE ?PART)
            (userDatabase ?DATABASE ?WEBSITE)
            (part ?PART ?DATABASE)
            (represents ?PART ?USER))))
UXExperimentalTerms.kif 865-871

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