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 4363-4365 | |
(instance TwoFactorAuthentication AccountSecurityType) | ComputingBrands.kif 4362-4362 | Two_factor authentication is an instance of account security type |
appearance as argument number 2 |
![]() |
(contraryAttribute UserNamePasswordAuthentication TwoFactorAuthentication) | ComputingBrands.kif 4385-4385 | User and password authentication is the opposite of two_factor authentication |
(termFormat EnglishLanguage TwoFactorAuthentication "two_factor authentication") | ComputingBrands.kif 4366-4366 | 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 4368-4377 |
|
![]() |
![]() |