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 4105-4105
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4102-4102	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 4103-4103	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 4101-4101	account used is an instance of case role
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4104-4104	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 4107-4107
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4106-4106

consequent

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

ComputingBrands.kif 4314-4323

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