TreeView Knowledge Base Browser - TwoFactorAuthentication

appearance as argument number 1

(instance TwoFactorAuthentication AccountSecurityType)	ComputingBrands.kif 4273-4273	Two_factor authentication is an instance of account security type
(documentation TwoFactorAuthentication EnglishLanguage "A Attribute of account specifying that a TwoFactorLoggingIn action is required for access.")	ComputingBrands.kif 4274-4276	Two_factor authentication is an instance of account security type

appearance as argument number 2

(termFormat EnglishLanguage TwoFactorAuthentication "two_factor authentication")	ComputingBrands.kif 4277-4277
(contraryAttribute UserNamePasswordAuthentication TwoFactorAuthentication)	ComputingBrands.kif 4296-4296	User and password authentication is the opposite of two_factor authentication

antecedent

(=>
    (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