Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| recoveryKey |
| appearance as argument number 1 |
|
| (instance recoveryKey BinaryPredicate) | ComputingBrands.kif 4325-4325 | recovery key is an instance of binary predicate |
| (domain recoveryKey 1 SymbolicString) | ComputingBrands.kif 4326-4326 | The number 1 argument of recovery key is an instance of symbolic string |
| (domain recoveryKey 2 UserAccount) | ComputingBrands.kif 4327-4327 | The number 2 argument of recovery key is an instance of user account |
| (documentation recoveryKey EnglishLanguage "A code that will allow a user to recover his or her password if the password is forgotten. It is essentially a password for the password.") | ComputingBrands.kif 4328-4330 | The number 2 argument of recovery key is an instance of user account |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage recoveryKey "the account %2 has recovery key %1") | ComputingBrands.kif 4331-4331 | |
| (termFormat EnglishLanguage recoveryKey "recovery key") | domainEnglishFormat.kif 65949-65949 |
| antecedent |
|
|
| (=> (and (hasAccount ?U ?AC) (password ?P ?AC) (deviceAccount ?AC ?D) (not (knows ?U (password ?P ?AC))) (knows ?U (recoveryKey ?S ?AC)) (possesses ?U ?D)) (modalAttribute (exists (?C) (and (instance ?C ChangingPassword) (patient ?C ?AC) (agent ?C ?U))) Possibility)) |
ComputingBrands.kif 4333-4350 | If All of the following hold: (1) X has account Y (2) Y has password Z (3) device account Y and W (4) X doesn't know Y has password Z (5) X knows the account Y has recovery key V (6) X possesses W, then the statement there exists U such that U is an instance of change password, Y is a patient of U, and X is an agent of U has the modal force of possibility |
|