ChangingUserName - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ChangingUserName EnglishLanguage "The Process of changing the user name associated with a particular UserAccount.")	ComputingBrands.kif 4097-4098
(subclass ChangingUserName UserDirectAction)	ComputingBrands.kif 4096-4096	Change user name is a subclass of user direct action

appearance as argument number 2

(termFormat EnglishLanguage ChangingUserName "change user name")

ComputingBrands.kif 4099-4099

antecedent

(=>
    (and
        (instance ?CP ChangingUserName)
        (agent ?CP ?A)
        (hasAccount ?A ?UA)
        (userName ?UA ?N1))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?CP))
        (exists (?N2)
            (and
                (instance ?N2 UserName)
                (not
                    (equal ?N2 ?N1))
                (userName ?UA ?N2)))))

ComputingBrands.kif 4101-4114

If a process is an instance of change user name and an agent is an agent of the process and the agent has account an user account and the user name of the user account is an user name,
then there exists an entity such that the entity is an instance of user name and the entity is not equal to the user name and the user name of the user account is the entity holds during immediately after the time of existence of the process

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: