CreatingAnAccount - Sigma Knowledge base Browser

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	Creating an account is a subclass of user direct action

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

If a process is an instance of creating an account and an agent is an agent of the process,
then there exist an entity, another entity and a third entity such that the agent has account the entity and the entity has password the other entity and the user name of the entity is the third entity holds during immediately after the time of existence of the process

statement

(equal AccountCreationRejected
(FailureFn CreatingAnAccount))

ComputingBrands.kif 4534-4534

Account creation rejected is equal to 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

KB Term:			Term intersection

English Word: