| appearance as argument number 1 |
|
| s__documentation(s__TwoFactorAuthentication,s__EnglishLanguage,'"A Attribute of account specifying that a TwoFactorLoggingIn action is required for access."')
|
ComputingBrands.kif 4293-4295 | |
| s__instance(s__AccountSecurityType,s__SetOrClass) s__instance(s__TwoFactorAuthentication,s__AccountSecurityType)
|
ComputingBrands.kif 4292-4292 | Two-factor authentication is an instance of account security type |
| appearance as argument number 2 |
|
|
| s__contraryAttribute__2(s__UserNamePasswordAuthentication,s__TwoFactorAuthentication)
|
ComputingBrands.kif 4315-4315 | User and password authentication is the opposite of two-factor authentication |
| s__termFormat(s__EnglishLanguage,s__TwoFactorAuthentication,'"two-factor authentication"')
|
ComputingBrands.kif 4296-4296 |
| antecedent |
|
|
| ( ! [V__AC,V__A,V__T] : ((s__instance(V__AC,s__UserAccount) & s__instance(V__A,s__Agent) & s__instance(V__T,s__TimeInterval)) => (s__attribute(V__AC,s__TwoFactorAuthentication) & s__loggedInDuring(V__A,V__AC,V__T)) => ( ? [V__TF] : ((s__instance(V__TF,s__TwoFactorLoggingIn) & s__agent(V__TF,V__A) & s__accountUsed(V__TF,V__AC) & s__earlier(s__WhenFn(V__TF) ,V__T)))) ) )
|
ComputingBrands.kif 4298-4307 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners