accountUsed - Sigma Knowledge base Browser

appearance as argument number 1

(instance accountUsed CaseRole)	ComputingBrands.kif 4066-4066	account used is an instance of case role
(domain accountUsed 1 ComputerProcess)	ComputingBrands.kif 4067-4067	The number 1 argument of account used is an instance of computer process
(domain accountUsed 2 UserAccount)	ComputingBrands.kif 4068-4068	The number 2 argument of account used is an instance of user account
(subrelation accountUsed patient)	ComputingBrands.kif 4069-4069	account used is a subrelation of patient
(documentation accountUsed EnglishLanguage "The UserAccount used in a particular Process.")	ComputingBrands.kif 4070-4070	account used is a subrelation of patient

appearance as argument number 2

(termFormat EnglishLanguage accountUsed "account used")	ComputingBrands.kif 4071-4071
(format EnglishLanguage accountUsed "the accountUsed in %1 is %2")	ComputingBrands.kif 4072-4072

consequent

(=>
    (and
        (attribute ?AC TwoFactorAuthentication)
        (loggedInDuring ?A ?AC ?T))
    (exists (?TF)
        (and
            (instance ?TF TwoFactorLoggingIn)
            (agent ?TF ?A)
            (accountUsed ?TF ?AC)
            (earlier
                (WhenFn ?TF) ?T))))

If two_factor authentication is an attribute of X and Y is logged_in to X during Z, then there exists W such that W is an instance of two_factor login, Y is an agent of W, the accountUsed in W is X, and the time of existence of W happens earlier than Z