TwoFactorAuthentication(two-factor authentication) |
appearance as argument number 1 |
(documentation TwoFactorAuthentication EnglishLanguage "A Attribute of account specifying that a TwoFactorLoggingIn action is required for access.") | ComputingBrands.kif 4368-4370 | |
(instance TwoFactorAuthentication AccountSecurityType) | ComputingBrands.kif 4367-4367 | Two-factor authentication is an instance of account security type |
appearance as argument number 2 |
(contraryAttribute UserNamePasswordAuthentication TwoFactorAuthentication) | ComputingBrands.kif 4390-4390 | User and password authentication is the opposite of two-factor authentication |
(termFormat EnglishLanguage TwoFactorAuthentication "two-factor authentication") | ComputingBrands.kif 4371-4371 | 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)))) |
ComputingBrands.kif 4373-4382 |
|