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 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 WebSite |
(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 4895-4895 | |
(format ChineseTraditionalLanguage userDatabase "%1 是 user database 對於 %2 ") | domainEnglishFormat.kif 4894-4894 | |
(format EnglishLanguage userDatabase "%1 is the user database for %2") | domainEnglishFormat.kif 4893-4893 | |
(termFormat EnglishLanguage userDatabase "user database") | UXExperimentalTerms.kif 2377-2377 |
antecedent |
![]() |
consequent |
![]() |
(=> (registeredUser ?USER ?WEBSITE) (exists (?DATABASE ?PART) (and (userDatabase ?DATABASE ?WEBSITE) (part ?PART ?DATABASE) (represents ?PART ?USER)))) |
UXExperimentalTerms.kif 1060-1066 |
|
![]() |
![]() |