|
|
   ChangingPassword
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ChangingPassword EnglishLanguage "The Process of changing the password associated with a particular UserAccount.") | ComputingBrands.kif 4075-4076 | |
| (subclass ChangingPassword UserDirectAction) | ComputingBrands.kif 4074-4074 | ChangingPassword è una sottoclasse di UserDirectAction |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChangingPassword "change password") | ComputingBrands.kif 4077-4077 |
| antecedent |
|
|
| (=> (and (instance ?CP ChangingPassword) (agent ?CP ?A) (hasAccount ?A ?UA) (password ?P1 ?UA)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?P2) (and (instance ?P2 ComputerPassword) (not (equal ?P2 ?P1)) (password ?P2 ?UA))))) |
ComputingBrands.kif 4079-4092 |
|
| consequent |
|
|
| (=> (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 |
|
|
|
|