accountUsed - Sigma Knowledge base Browser

appearance as argument number 1

(documentation accountUsed EnglishLanguage "The UserAccount used in a particular Process.")	ComputingBrands.kif 4159-4159
(domain accountUsed 1 ComputerProcess)	ComputingBrands.kif 4156-4156	Le nombre 1 argument de accountUsed est une instance de ComputerProcess
(domain accountUsed 2 UserAccount)	ComputingBrands.kif 4157-4157	Le nombre 2 argument de accountUsed est une instance de UserAccount
(instance accountUsed CaseRole)	ComputingBrands.kif 4155-4155	accountUsed est une instance de r�le d�pendant du cas
(subrelation accountUsed patient)	ComputingBrands.kif 4158-4158	accountUsed est une sous-relation de patient

appearance as argument number 2

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

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))))

ComputingBrands.kif 4368-4377