| 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 | Le nombre 1 argument de userDatabase est une instance de Database |
| (domain userDatabase 2 WebSite) | UXExperimentalTerms.kif 2164-2164 | Le nombre 2 argument de userDatabase est une instance de WebSite |
| (instance userDatabase BinaryPredicate) | UXExperimentalTerms.kif 2160-2160 | userDatabase est une instance de pr�dicat binaire |
| 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 |
|
|
| (=> (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 2173-2191 |
|
| consequent |
|
|
| (=> (registeredUser ?USER ?WEBSITE) (exists (?DATABASE ?PART) (and (userDatabase ?DATABASE ?WEBSITE) (part ?PART ?DATABASE) (represents ?PART ?USER)))) |
UXExperimentalTerms.kif 865-871 |
|
|
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