ChangingAccountInfo - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ChangingAccountInfo UserDirectAction)	ComputingBrands.kif 4024-4024	Change account information is a subclass of user direct action
(documentation ChangingAccountInfo EnglishLanguage "The Process of changing the information associated with a particular UserAccount.")	ComputingBrands.kif 4025-4026	Change account information is a subclass of user direct action

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?CP ChangingAccountInfo)
        (agent ?CP ?A)
        (hasAccount ?A ?UA)
        (accountInformation ?UA ?N1))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?CP))
        (exists (?N2)
            (and
                (not
                    (equal ?N2 ?N1))
                (accountInformation ?UA ?N2)))))

If X is an instance of change account information, Y is an agent of X, Y has account Z, and the account Z has information W, then there exists V such that equal V, W, and the account Z has information V holds during immediately after the time of existence of X