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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pianist

 Sigma KEE - userDatabase
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 2166-2169
(domain userDatabase 1 Database) UXExperimentalTerms.kif 2162-2162 Le nombre 1 argument de userDatabase est une instance de Database
(domain userDatabase 2 WebSite) UXExperimentalTerms.kif 2164-2164 Le nombre 2 argument de userDatabase est une instance de WebSite
(instance userDatabase BinaryPredicate) UXExperimentalTerms.kif 2160-2160 userDatabase est une instance de pr�dicat binaire

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


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

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


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

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


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


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