|
|
   TruckTractor
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CreatingAnAccount EnglishLanguage "The Process of specifying a user ID and password for a particular UserAccount.") | ComputingBrands.kif 4138-4139 | |
| (subclass CreatingAnAccount UserDirectAction) | ComputingBrands.kif 4137-4137 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CreatingAnAccount "creating an account") | ComputingBrands.kif 4141-4141 |
| 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 4143-4153 |
| statement |
|
|
| (equal AccountCreationRejected (FailureFn CreatingAnAccount)) |
ComputingBrands.kif 4534-4534 |
|
|
|