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 4133-4134
(subclass CreatingAnAccount UserDirectAction)	ComputingBrands.kif 4132-4132	Creating an account is a subclass of user direct action

appearance as argument number 2

(termFormat EnglishLanguage CreatingAnAccount "creating an account")

ComputingBrands.kif 4136-4136

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 4138-4148

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 4529-4529

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

KB Term:			Term intersection

English Word: