|
|
  NahalOzGazaStrip
|
|
|
| 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 | ChangingAccountInfo è una sottoclasse di UserDirectAction |
| 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 |
|
|
|
|