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 4063-4064
(subclass CreatingAnAccount UserDirectAction)	ComputingBrands.kif 4062-4062	Creating an account is a subclass of UserDirectAction

appearance as argument number 2

(termFormat EnglishLanguage CreatingAnAccount "creating an account")

ComputingBrands.kif 4066-4066

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 4068-4078

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

AccountCreationRejected is equal to FailureFn 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: