deviceAccount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - deviceAccount

deviceAccount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3923-3928
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3921-3921	The number 1 argument of deviceAccount is an instance of user account
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3922-3922	The number 2 argument of deviceAccount is an instance of computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3920-3920	deviceAccount is an instance of binary predicate

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4398-4415	If a cognitive agent has account an user account and the user account has password a computer password and deviceAccount the user account and a computer and the cognitive agent doesn't know the user account has password the computer password and the cognitive agent knows the account the user account has recovery key an entity and the cognitive agent possesses the computer, then the statement there exists another entity such that the other entity is an instance of change password and the user account is a patient of the other entity and the cognitive agent is an agent of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3959-3973	If a process is an instance of logging in and an agent has account an user account and deviceAccount the user account and a computer and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the computer is an instrument for the entity holds during the time interval has the modal force of possibility

consequent

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

ComputingBrands.kif 4318-4329

If an agent is logged-in to an user account during a time interval,
then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and deviceAccount the user account and another entity and the other entity is an instance of computer and the entity is running on the other entity and the other entity is an instrument for the entity holds during the time interval has the modal force of possibility

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