TreeView Knowledge Base Browser - LoginFailure

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LoginFailure

LoginFailure(login failure)

appearance as argument number 1

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

ComputingBrands.kif 4008-4008

Login failure is a subclass of user direct action

appearance as argument number 2

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

domainEnglishFormat.kif 65131-65131

antecedent

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

ComputingBrands.kif 4009-4020

If a process is an instance of login failure and an agent is an agent of the process and the agent has account the agentC,
then there doesn't exist an entity such that the agent is an agent of the entity and the entity is an instance of logging in and the agentC is a patient of the entity holds during the time of existence of the process

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