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 4092-4093
(subclass ChangingUserName UserDirectAction)	ComputingBrands.kif 4091-4091	Change user name is a subclass of user direct action

appearance as argument number 2

(termFormat EnglishLanguage ChangingUserName "change user name")

ComputingBrands.kif 4094-4094

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 4096-4109

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: