ChangingAccountInfo
|
|
appearance as argument number 1 |
(documentation ChangingAccountInfo EnglishLanguage "The Process of changing the information associated with a particular UserAccount.") | ComputingBrands.kif 4119-4120 | |
(subclass ChangingAccountInfo UserDirectAction) | ComputingBrands.kif 4118-4118 |
appearance as argument number 2 |
(termFormat EnglishLanguage ChangingAccountInfo "change account information") | ComputingBrands.kif 4121-4121 |
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 |