|
|
  TwoFactorAuthentication
|
|
|
| appearance as argument number 1 |
|
|
| (documentation TwoFactorAuthentication EnglishLanguage "A Attribute of account specifying that a TwoFactorLoggingIn action is required for access.") | ComputingBrands.kif 4331-4333 | |
| (instance TwoFactorAuthentication AccountSecurityType) | ComputingBrands.kif 4330-4330 | Two-factor authentication is an instance of account security type |
| appearance as argument number 2 |
|
|
| (contraryAttribute UserNamePasswordAuthentication TwoFactorAuthentication) | ComputingBrands.kif 4353-4353 | User and password authentication is the opposite of two-factor authentication |
| (termFormat EnglishLanguage TwoFactorAuthentication "two-factor authentication") | ComputingBrands.kif 4334-4334 |
| 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 4336-4345 |
|
|
|
|