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 | 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 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 |
consequent |
(=> (registeredUser ?USER ?WEBSITE) (exists (?DATABASE ?PART) (and (userDatabase ?DATABASE ?WEBSITE) (part ?PART ?DATABASE) (represents ?PART ?USER)))) |
UXExperimentalTerms.kif 865-871 |
|