TreeView Knowledge Base Browser - accountInformation

appearance as argument number 1

(documentation accountInformation EnglishLanguage "The UserAccount has some information associated with it, such as a birthdate or mailing address.")	ComputingBrands.kif 4413-4415
(domain accountInformation 1 UserAccount)	ComputingBrands.kif 4411-4411	accountInformation の数値 1 引数は UserAccount の instance では %n
(domain accountInformation 2 Proposition)	ComputingBrands.kif 4412-4412	accountInformation の数値 2 引数は命題の instance では %n
(instance accountInformation BinaryPredicate)	ComputingBrands.kif 4410-4410	accountInformation は 2進述語の instance では %n
(subrelation accountInformation containsInformation)	ComputingBrands.kif 4409-4409	accountInformation は containsInformation の subrelation では %n

appearance as argument number 2

(format EnglishLanguage accountInformation "the account %1 has information %2")	ComputingBrands.kif 4416-4416
(subrelation accountPhoneNumber accountInformation)	ComputingBrands.kif 4155-4155	accountPhoneNumber は accountInformation の subrelation では %n
(termFormat EnglishLanguage accountInformation "account information")	ComputingBrands.kif 4417-4417

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)))))

ComputingBrands.kif 4123-4135

consequent

ComputingBrands.kif 4123-4135