TreeView Knowledge Base Browser - TwoFactorLoggingIn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

TwoFactorLoggingIn

Sigma KEE - TwoFactorLoggingIn

TwoFactorLoggingIn(two-factor login)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4294-4296
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4293-4293	Two-factor login is a subclass of logging in

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 4297-4297

antecedent

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 4299-4310

If a process is an instance of two-factor login,
then there exist a transfer and an object such that the transfer is a subprocess of the process and the transfer is an instance of data entry and the object is an instance of digital data and the object transferred in the transfer is the object and the object is not an instance of computer password and the object is not an instance of user name

consequent

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 4373-4382

If two-factor authentication is an attribute of an user account and an agent is logged-in to the user account during a time interval,
then there exists the time intervalF such that the time intervalF is an instance of two-factor login and the agent is an agent of the time intervalF and the accountUsed in the time intervalF is the user account and the time of existence of the time intervalF happens earlier than the time interval

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners