Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| userIDString |
| appearance as argument number 1 |
|
| (instance userIDString BinaryPredicate) | UXExperimentalTerms.kif 1087-1087 | user identifier string is an instance of binary predicate |
| (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 |
| (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 | The number 2 argument of user identifier string is an instance of user account |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage userIDString "user identifier string") | UXExperimentalTerms.kif 1097-1097 | |
| (format EnglishLanguage userIDString "the ID for %2 is %1") | domainEnglishFormat.kif 4898-4898 | |
| (format ChineseTraditionalLanguage userIDString "對於 %2 的 ID 是 %1 ") | domainEnglishFormat.kif 4899-4899 | |
| (format ChineseLanguage userIDString "对于 %2 的 ID 是 %1 ") | domainEnglishFormat.kif 4900-4900 |
| antecedent |
|
|
| (=> (and (userIDString ?STRING ?ACCOUNT) (hasAccount ?USER ?ACCOUNT)) (represents ?STRING ?USER)) |
UXExperimentalTerms.kif 1099-1103 | If the ID for X is Y and Z has account X, then Y expresses Z |
| (=> (userIDString ?STRING ?ACCOUNT) (modalAttribute (not (exists (?ACCOUNT2) (and (instance ?ACCOUNT2 UserAccount) (userIDString ?STRING ?ACCOUNT2)))) Likely)) |
UXExperimentalTerms.kif 1112-1120 | If the ID for X is Y, then the statement there doesn't exist Z such that Z is an instance of user account and the ID for Z is Y has the modal force of likely |
| consequent |
|
|
| (=> (instance ?ACCOUNT UserAccount) (exists (?STRING) (and (instance ?STRING Identifier) (userIDString ?STRING ?ACCOUNT)))) |
UXExperimentalTerms.kif 1105-1110 | If X is an instance of user account, then there exists Y such that Y is an instance of identifier and the ID for X is Y |
| (=> (userIDString ?STRING ?ACCOUNT) (modalAttribute (not (exists (?ACCOUNT2) (and (instance ?ACCOUNT2 UserAccount) (userIDString ?STRING ?ACCOUNT2)))) Likely)) |
UXExperimentalTerms.kif 1112-1120 | If the ID for X is Y, then the statement there doesn't exist Z such that Z is an instance of user account and the ID for Z is Y has the modal force of likely |
|