AccountDeactivated
|
|
appearance as argument number 1 |
(contraryAttribute AccountDeactivated AccountActive) | ComputingBrands.kif 4475-4475 | |
(documentation AccountDeactivated EnglishLanguage "A UserAccount is deactivated and so while its information continues to be stored, it cannot be accessed by a normal LoggingIn Process.") | ComputingBrands.kif 4463-4465 | |
(instance AccountDeactivated AccountAttribute) | ComputingBrands.kif 4467-4467 |
appearance as argument number 2 |
(termFormat EnglishLanguage AccountDeactivated "account deactivated") | ComputingBrands.kif 4466-4466 |
consequent |
(=> (and (instance ?ACT ActivatingADeactivatedAccount) (instance ?AC UserAccount) (patient ?ACT ?AC)) (and (holdsDuring (ImmediatePastFn (WhenFn ?ACT)) (attribute ?AC AccountDeactivated)) (holdsDuring (ImmediateFutureFn (WhenFn ?ACT)) (attribute ?AC AccountActive)))) |
ComputingBrands.kif 4482-4491 | |
(=> (and (instance ?DEACT DeactivatingAnAccount) (instance ?AC UserAccount) (patient ?DEACT ?AC)) (and (holdsDuring (ImmediateFutureFn (WhenFn ?DEACT)) (attribute ?AC AccountDeactivated)) (holdsDuring (ImmediatePastFn (WhenFn ?DEACT)) (attribute ?AC AccountActive)))) |
ComputingBrands.kif 4498-4507 |