recoveryKey |
appearance as argument number 1 |
(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 4422-4424 | |
(domain recoveryKey 1 SymbolicString) | ComputingBrands.kif 4420-4420 | recoveryKey 的 1 数量 是 符号串 的 instance |
(domain recoveryKey 2 UserAccount) | ComputingBrands.kif 4421-4421 | recoveryKey 的 2 数量 是 用户帐号 的 instance |
(instance recoveryKey BinaryRelation) | ComputingBrands.kif 4419-4419 | recoveryKey 是 二元关系 的 instance |
appearance as argument number 2 |
(format EnglishLanguage recoveryKey "the account %2 has recovery key %1") | ComputingBrands.kif 4425-4425 | |
(termFormat EnglishLanguage recoveryKey "recovery key") | domainEnglishFormat.kif 65920-65920 |
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 4427-4444 |
|