AccountDeactivated(account deactivated) |
appearance as argument number 1 |
![]() |
(contraryAttribute AccountDeactivated AccountActive) | ComputingBrands.kif 4470-4470 | Account deactivated is the opposite of account active |
(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 4458-4460 | Account deactivated is the opposite of account active |
(instance AccountDeactivated AccountAttribute) | ComputingBrands.kif 4462-4462 | Account deactivated is an instance of account attribute |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage AccountDeactivated "account deactivated") | ComputingBrands.kif 4461-4461 |
consequent |
![]() |
![]() |
![]() |