TreeView 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 4017-4018
(subclass ChangingUserName UserDirectAction)	ComputingBrands.kif 4016-4016	Change user name is a subclass of UserDirectAction

appearance as argument number 2

(termFormat EnglishLanguage ChangingUserName "change user name")

ComputingBrands.kif 4019-4019

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 4021-4034

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: