| appearance as argument number 1 |
|
| (subclass CreatingAnAccount UserDirectAction) | ComputingBrands.kif 4043-4043 | Creating an account is a subclass of user direct action |
| (documentation CreatingAnAccount EnglishLanguage "The Process of specifying a user ID and password for a particular UserAccount.") | ComputingBrands.kif 4044-4045 | Creating an account is a subclass of user direct action |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CreatingAnAccount "creating an account") | ComputingBrands.kif 4047-4047 |
| 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 4049-4059 | If X is an instance of creating an account and Y is an agent of X, then there exist Z, W, V such that Y has account Z, Z has password W, and the user name of Z is V holds during immediately after the time of existence of X |
| statement |
|
|
| (equal AccountCreationRejected (FailureFn CreatingAnAccount)) |
ComputingBrands.kif 4440-4440 | equal account creation rejected and failure fn creating an account |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners