ActivatingADeactivatedAccount - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ActivatingADeactivatedAccount EnglishLanguage "A UserAccount is made active from a deactivated state.")	ComputingBrands.kif 4478-4479
(subclass ActivatingADeactivatedAccount DataEntry)	ComputingBrands.kif 4477-4477	Activating a deactivated account is a subclass of data entry

appearance as argument number 2

ComputingBrands.kif 4480-4480

antecedent

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