ChangingPassword - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ChangingPassword EnglishLanguage "The Process of changing the password associated with a particular UserAccount.")	ComputingBrands.kif 4075-4076
(subclass ChangingPassword UserDirectAction)	ComputingBrands.kif 4074-4074	Change password is a subclass of user direct action

appearance as argument number 2

(termFormat EnglishLanguage ChangingPassword "change password")

ComputingBrands.kif 4077-4077

antecedent

(=>
    (and
        (instance ?CP ChangingPassword)
        (agent ?CP ?A)
        (hasAccount ?A ?UA)
        (password ?P1 ?UA))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?CP))
        (exists (?P2)
            (and
                (instance ?P2 ComputerPassword)
                (not
                    (equal ?P2 ?P1))
                (password ?P2 ?UA)))))

ComputingBrands.kif 4079-4092

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

consequent

(=>
    (and
        (hasAccount ?U ?AC)
        (password ?P ?AC)
        (deviceAccount ?AC ?D)
        (not
            (knows ?U
                (password ?P ?AC)))
        (knows ?U
            (recoveryKey ?S ?AC))
        (possesses ?U ?D))
    (modalAttribute
        (exists (?C)
            (and
                (instance ?C ChangingPassword)
                (patient ?C ?AC)
                (agent ?C ?U))) Possibility))

ComputingBrands.kif 4427-4444

If a cognitive agent has account an user account and the user account has password a computer password and device account the user account and a computer and the cognitive agent doesn't know the user account has password the computer password and the cognitive agent knows the account the user account has recovery key an entity and the cognitive agent possesses the computer,
then the statement there exists another entity such that the other entity is an instance of change password and the user account is a patient of the other entity and the cognitive agent is an agent of the other entity has the modal force of possibility

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: