|
|
   ChangingAccountInfo
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ChangingAccountInfo EnglishLanguage "The Process of changing the information associated with a particular UserAccount.") | ComputingBrands.kif 4082-4083 | |
| (subclass ChangingAccountInfo UserDirectAction) | ComputingBrands.kif 4081-4081 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChangingAccountInfo "change account information") | ComputingBrands.kif 4084-4084 |
| 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 4086-4098 |
|
|
|