(=>
(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 |
