accountInformation - Sigma Knowledge base Browser

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

consequent

ComputingBrands.kif 4029-4041

(subrelation accountInformation containsInformation)	ComputingBrands.kif 4315-4315	account information is a subrelation of contains information
(instance accountInformation BinaryPredicate)	ComputingBrands.kif 4316-4316	account information is an instance of binary predicate
(domain accountInformation 1 UserAccount)	ComputingBrands.kif 4317-4317	The number 1 argument of account information is an instance of user account
(domain accountInformation 2 Proposition)	ComputingBrands.kif 4318-4318	The number 2 argument of account information is an instance of proposition
(documentation accountInformation EnglishLanguage "The UserAccount has some information associated with it, such as a birthdate or mailing address.")	ComputingBrands.kif 4319-4321	The number 2 argument of account information is an instance of proposition

(subrelation accountPhoneNumber accountInformation)	ComputingBrands.kif 4061-4061	account phone number is a subrelation of account information
(format EnglishLanguage accountInformation "the account %1 has information %2")	ComputingBrands.kif 4322-4322	account phone number is a subrelation of account information
(termFormat EnglishLanguage accountInformation "account information")	ComputingBrands.kif 4323-4323	account phone number is a subrelation of account information