TreeView Knowledge Base Browser - TwoFactorLoggingIn

appearance as argument number 1

(subclass TwoFactorLoggingIn LoggingIn)	ComputingBrands.kif 4199-4199	Two_factor login is a subclass of logging in
(documentation TwoFactorLoggingIn EnglishLanguage "A Process of LoggingIn to a Computer that has an extra identity verification step beyond just entering a userName and password.")	ComputingBrands.kif 4200-4202	Two_factor login is a subclass of logging in

appearance as argument number 2

antecedent

(=>
    (instance ?TF TwoFactorLoggingIn)
    (exists (?DE ?DD)
        (and
            (subProcess ?DE ?TF)
            (instance ?DE DataEntry)
            (instance ?DD DigitalData)
            (objectTransferred ?DE ?DD)
            (not
                (instance ?DD ComputerPassword))
            (not
                (instance ?DD UserName)))))

If X is an instance of two_factor login, then All of the following hold: (1) there exist Y (2) Z such that Y is a subprocess of X (3) Y is an instance of data entry (4) Z is an instance of digital data (5) the object transferred in Y is Z (6) Z is not an instance of computer password (7) Z is not an instance of user name

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