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 | |
(domain accountInformation 2 Proposition) | ComputingBrands.kif 4412-4412 | |
(instance accountInformation BinaryPredicate) | ComputingBrands.kif 4410-4410 | |
(subrelation accountInformation containsInformation) | ComputingBrands.kif 4409-4409 |
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 | |
(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 |
(=> (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 |