TreeView Knowledge Base Browser - recoveryKey

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - recoveryKey

recoveryKey

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4422-4424
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4420-4420	The number 1 argument of recovery key is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4421-4421	The number 2 argument of recovery key is an instance of user account
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4419-4419	recovery key is an instance of binary relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4425-4425
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65920-65920

antecedent

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

ComputingBrands.kif 4427-4444

If a cognitive agent has account an user account and the user account has password a computer password and device account 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

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