CreatingAnAccount(creating an account) |
appearance as argument number 1 |
![]() |
(documentation CreatingAnAccount EnglishLanguage "The Process of specifying a user ID and password for a particular UserAccount.") | ComputingBrands.kif 4058-4059 | |
(subclass CreatingAnAccount UserDirectAction) | ComputingBrands.kif 4057-4057 | Creating an account is a subclass of UserDirectAction |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage CreatingAnAccount "creating an account") | ComputingBrands.kif 4061-4061 |
antecedent |
![]() |
(=> (and (instance ?CP CreatingAnAccount) (agent ?CP ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?UA ?P1 ?N) (and (hasAccount ?A ?UA) (password ?P1 ?UA) (userName ?UA ?N))))) |
ComputingBrands.kif 4063-4073 |
|
statement |
![]() |
(equal AccountCreationRejected (FailureFn CreatingAnAccount)) |
ComputingBrands.kif 4454-4454 | AccountCreationRejected is equal to FailureFn creating an account |
![]() |
![]() |