Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| userDatabase |
| appearance as argument number 1 |
|
| (instance userDatabase BinaryPredicate) | UXExperimentalTerms.kif 2161-2161 | user database is an instance of binary predicate |
| (domain userDatabase 1 Database) | UXExperimentalTerms.kif 2163-2163 | The number 1 argument of user database is an instance of database |
| (domain userDatabase 2 WebSite) | UXExperimentalTerms.kif 2165-2165 | The number 2 argument of user database is an instance of web site |
| (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 2167-2170 | The number 2 argument of user database is an instance of web site |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage userDatabase "user database") | UXExperimentalTerms.kif 2172-2172 | |
| (format EnglishLanguage userDatabase "%1 is the user database for %2") | domainEnglishFormat.kif 4890-4890 | |
| (format ChineseTraditionalLanguage userDatabase "%1 是 user database 對於 %2 ") | domainEnglishFormat.kif 4891-4891 | |
| (format ChineseLanguage userDatabase "%1 是 user database 对于 %2 ") | domainEnglishFormat.kif 4892-4892 |
| 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 2174-2192 | If X is the user database for Y, then All of the following hold: (1) there exist Z (2) W such that W is an instance of collection (3) Z is a part of X (4) Z expresses W (5) V V is a member of WV is an instance of agent (6) there exist U (7) T such that U is an instance of accessing web page (8) T is an instance of web page (9) page is a patient of U (10) agent is an agent of U (11) T is a component of Y |
| consequent |
|
|
| (=> (registeredUser ?USER ?WEBSITE) (exists (?DATABASE ?PART) (and (userDatabase ?DATABASE ?WEBSITE) (part ?PART ?DATABASE) (represents ?PART ?USER)))) |
UXExperimentalTerms.kif 865-871 | If X is a registered user of Y, then there exist Z, W such that Z is the user database for Y, W is a part of Z, and W expresses X |
|