DeletingAnAccount - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DeletingAnAccount DeletingData)	ComputingBrands.kif 4472-4472	Deleting an account is a subclass of deleting data
(documentation DeletingAnAccount EnglishLanguage "Removing all the data from an account so that it no longer exists.")	ComputingBrands.kif 4473-4474	Deleting an account is a subclass of deleting data

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?D DeletingAnAccount)
        (instance ?AC Account)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?D))
            (hasAccount ?A ?AC))
        (patient ?D ?AC)
        (agent ?D ?A))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?D))
        (not
            (hasAccount ?A ?AC))))

If X is an instance of deleting an account, Y is an instance of account, Z has account Y holds during immediately before the time of existence of X, Y is a patient of X, and Z is an agent of X, then Z has account Y holds during immediately after the time of existence of X