accountUsed - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - accountUsed

accountUsed

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4164-4164
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4161-4161	The number 1 argument of account used is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4162-4162	The number 2 argument of account used is an instance of user account
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4160-4160	account used is an instance of case role
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4163-4163	account used is a subrelation of patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4166-4166
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4165-4165

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 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 3.0 is open source software produced by Articulate Software and its partners