CreatingAnAccount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CreatingAnAccount

CreatingAnAccount(creating an account)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4138-4139
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4137-4137	Creating an account is a subclass of user direct action

appearance as argument number 2

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

ComputingBrands.kif 4141-4141

antecedent

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

ComputingBrands.kif 4143-4153

If a process is an instance of creating an account and an agent is an agent of the process,
then there exist an entity, another entity and a third entity such that the agent has account the entity and the entity has password the other entity and the user name of the entity is the third entity holds during immediately after the time of existence of the process

statement

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

ComputingBrands.kif 4534-4534

Account creation rejected is equal to failure fn creating an account

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