TreeView Knowledge Base Browser - JudicialProcess

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

JudicialProcess

Sigma KEE - JudicialProcess

JudicialProcess(judicial process)

Scopes_trial, arbitrament, arbitration, arbitrement, bill_of_review, court-martial, hang, judicial_review, justice, mistrial, ordeal, recusal, recusation, retrial, review, show_trial, stay, transactional_immunity, trial, trial_by_ordeal

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2961-2963
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10795-10800
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1717-1720
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5037-5037
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4915-4915
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10793-10793	Judicial process is a subclass of political process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16119-16119	Legal appeal is a subclass of judicial process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10809-10809	Legal decision is a subclass of judicial process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16222-16222	Legal summons is a subclass of judicial process
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31861-31861
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31860-31860
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31859-31859

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10802-10807	If a process is an instance of judicial process and an agent is an agent of the process and the agent is an instance of organization, then the agent is an instance of judicial organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16175-16180	If a process is an instance of judicial process, then there exists an object such that the object is an instance of court room and the process is located at the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16127-16132	If a process is an instance of pleading, then there exists another process such that the other process is an instance of judicial process and the process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16164-16169	If a process is an instance of testifying, then there exists another process such that the other process is an instance of judicial process and the process is a subprocess of the other 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