TwoFactorAuthentication |
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 | TwoFactorAuthentication は AccountSecurityType の instance では %n |
appearance as argument number 2 |
![]() |
(contraryAttribute UserNamePasswordAuthentication TwoFactorAuthentication) | ComputingBrands.kif 4390-4390 | UserNamePasswordAuthentication は TwoFactorAuthentication の disjoint では %n |
(termFormat EnglishLanguage TwoFactorAuthentication "two-factor authentication") | ComputingBrands.kif 4371-4371 |
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 |
|
![]() |
![]() |