TreeView 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 2372-2375
(domain userDatabase 1 Database)	UXExperimentalTerms.kif 2368-2368	The number 1 argument of user database is an instance of database
(domain userDatabase 2 WebSite)	UXExperimentalTerms.kif 2370-2370	The number 2 argument of user database is an instance of web site
(instance userDatabase BinaryPredicate)	UXExperimentalTerms.kif 2366-2366	user database is an instance of binary predicate

appearance as argument number 2

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

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 2379-2397

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 1062-1068

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: