| 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 2375-2378 | |
| (domain userDatabase 1 Database) | UXExperimentalTerms.kif 2371-2371 | |
| (domain userDatabase 2 WebSite) | UXExperimentalTerms.kif 2373-2373 | |
| (instance userDatabase BinaryPredicate) | UXExperimentalTerms.kif 2369-2369 |
| 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 2380-2380 |
| antecedent |
|
|
| (=> (userDatabase ?DATABASE ?WEBSITE) (exists (?PART) (and (instance ?USERS Collection) (part ?PART ?DATABASE) (represents ?PART ?USERS) (forall (?MEMBER) (=> (member ?MEMBER ?USERS) (and (instance ?MEMBER Agent) (exists (?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (patient ?ACCESSING Page) (agent ?ACCESSING Agent) (component ?PAGE ?WEBSITE))))))))) |
UXExperimentalTerms.kif 2382-2400 |
| consequent |
|
|
| (=> (registeredUser ?USER ?WEBSITE) (exists (?DATABASE ?PART) (and (userDatabase ?DATABASE ?WEBSITE) (part ?PART ?DATABASE) (represents ?PART ?USER)))) |
UXExperimentalTerms.kif 1062-1068 |
|
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