![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation ChangingUserName EnglishLanguage "The Process of changing the user name associated with a particular UserAccount.") | ComputingBrands.kif 4017-4018 | |
(subclass ChangingUserName UserDirectAction) | ComputingBrands.kif 4016-4016 | Change user name is a subclass of UserDirectAction |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage ChangingUserName "change user name") | ComputingBrands.kif 4019-4019 |
antecedent |
![]() |
(=> (and (instance ?CP ChangingUserName) (agent ?CP ?A) (hasAccount ?A ?UA) (userName ?UA ?N1)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?N2) (and (instance ?N2 UserName) (not (equal ?N2 ?N1)) (userName ?UA ?N2))))) |
ComputingBrands.kif 4021-4034 |
|
![]() |
![]() |