| appearance as argument number 1 |
|
| (documentation userIDString EnglishLanguage "(userIDString ?STRING ?ACCOUNT) Associates an Identifer ?STRING to a UserAccount ?ACCOUNT. The ?STRING represents the user which hasAccount ?ACCOUNT. Every UserAccount has a userIDString. They are likely to be unique.") | UXExperimentalTerms.kif 1093-1095 | |
| (domain userIDString 1 Identifier) | UXExperimentalTerms.kif 1089-1089 | The number 1 argument of user identifier string is an instance of identifier |
| (domain userIDString 2 UserAccount) | UXExperimentalTerms.kif 1091-1091 | The number 2 argument of user identifier string is an instance of user account |
| (instance userIDString BinaryPredicate) | UXExperimentalTerms.kif 1087-1087 | user identifier string is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage userIDString "对于 %2 的 ID 是 %1 ") | domainEnglishFormat.kif 4896-4896 | |
| (format ChineseTraditionalLanguage userIDString "對於 %2 的 ID 是 %1 ") | domainEnglishFormat.kif 4895-4895 | |
| (format EnglishLanguage userIDString "the ID for %2 is %1") | domainEnglishFormat.kif 4894-4894 | |
| (termFormat EnglishLanguage userIDString "user identifier string") | UXExperimentalTerms.kif 1097-1097 |
| antecedent |
|
|
| (=> (and (userIDString ?STRING ?ACCOUNT) (hasAccount ?USER ?ACCOUNT)) (represents ?STRING ?USER)) |
UXExperimentalTerms.kif 1099-1103 |
|
| (=> (userIDString ?STRING ?ACCOUNT) (modalAttribute (not (exists (?ACCOUNT2) (and (instance ?ACCOUNT2 UserAccount) (userIDString ?STRING ?ACCOUNT2)))) Likely)) |
UXExperimentalTerms.kif 1112-1120 |
|
| consequent |
|
|
| (=> (instance ?ACCOUNT UserAccount) (exists (?STRING) (and (instance ?STRING Identifier) (userIDString ?STRING ?ACCOUNT)))) |
UXExperimentalTerms.kif 1105-1110 |
|
| (=> (userIDString ?STRING ?ACCOUNT) (modalAttribute (not (exists (?ACCOUNT2) (and (instance ?ACCOUNT2 UserAccount) (userIDString ?STRING ?ACCOUNT2)))) Likely)) |
UXExperimentalTerms.kif 1112-1120 |
|
|
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