DeactivatingAnAccount - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DeactivatingAnAccount EnglishLanguage "A UserAccount is made inactive.")	ComputingBrands.kif 4494-4495
(subclass DeactivatingAnAccount DataEntry)	ComputingBrands.kif 4493-4493	De-activating an account is a subclass of data entry

appearance as argument number 2

ComputingBrands.kif 4496-4496

antecedent

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