userDatabase - Sigma Knowledge base Browser

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	The number 1 argument of user database is an instance of database
(domain userDatabase 2 WebSite)	UXExperimentalTerms.kif 2164-2164	The number 2 argument of user database is an instance of web site
(instance userDatabase BinaryPredicate)	UXExperimentalTerms.kif 2160-2160	user database is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage userDatabase "%1 是 user database 对于 %2 ")	domainEnglishFormat.kif 4892-4892
(format ChineseTraditionalLanguage userDatabase "%1 是 user database 對於 %2 ")	domainEnglishFormat.kif 4891-4891
(format EnglishLanguage userDatabase "%1 is the user database for %2")	domainEnglishFormat.kif 4890-4890
(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

If a database is the user database for a web site,
then there exist an object and a collection such that the collection is an instance of collection and the object is a part of the database and the object expresses the collection and for all a physical
- if the physical is a member of the collection,
- then the physical is an instance of agent and there exist a process and a corpuscular object such that the process is an instance of accessing web page and the corpuscular object is an instance of web page and page is a patient of the process and agent is an agent of the process and the corpuscular object is a component of the web site

consequent

(=>
    (registeredUser ?USER ?WEBSITE)
    (exists (?DATABASE ?PART)
        (and
            (userDatabase ?DATABASE ?WEBSITE)
            (part ?PART ?DATABASE)
            (represents ?PART ?USER))))

UXExperimentalTerms.kif 865-871

If an agent is a registered user of a web site,
then there exist a database and an object such that the database is the user database for the web site and the object is a part of the database and the object expresses the agent

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

KB Term:			Term intersection

English Word: