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 4159-4159
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4156-4156	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 4157-4157	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 4155-4155	account used is an instance of case role
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4158-4158	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 4161-4161
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4160-4160

consequent

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

ComputingBrands.kif 4368-4377

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