TreeView Knowledge Base Browser - jailer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - jailer

jailer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Law.kif 245-247
No TPTP formula. May not be expressible in strict first order.	Law.kif 240-240	The number 1 argument of jailer is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Law.kif 241-241	The number 2 argument of jailer is an instance of human
No TPTP formula. May not be expressible in strict first order.	Law.kif 239-239	jailer is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Law.kif 243-243
No TPTP formula. May not be expressible in strict first order.	Law.kif 242-242

antecedent

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

Law.kif 249-255

If an agent jails a human,
then there exists a process such that the process is an instance of imprisoning and the agent is an agent of the process and the human is a patient 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