TreeView Knowledge Base Browser - LegalDecision

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LegalDecision

LegalDecision(legal decision)

more pictures...

Bakke_decision, cognovit_judgement, cognovit_judgment, confession_of_judgement, confession_of_judgment, default_judgement, default_judgment, directed_verdict, dismissal, false_verdict, fatwah, final_decision, final_judgment, finding, general_verdict, judgement, judgement_by_default, judgement_in_personam, judgement_in_rem, judgement_of_dismissal, judgement_on_the_merits, judgement_on_the_pleadings, judgment, judgment_by_default, judgment_in_personam, judgment_in_rem, judgment_of_dismissal, judgment_on_the_merits, judgment_on_the_pleadings, judicial_decision, legal_opinion, non_pros, non_prosequitur, opinion, partial_verdict, personal_judgement, personal_judgment, quotient_verdict, special_verdict, summary_judgement, summary_judgment

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2964-2966
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10790-10792
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1721-1723
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3146-3146
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2974-2974
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3151-3151
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3150-3150
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3145-3145
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3148-3148
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3152-3152
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3149-3149
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3153-3153
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3147-3147
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10788-10788	Legal decision is a subclass of declaring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10787-10787	Legal decision is a subclass of judicial process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16241-16241	Legal acquittal is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16196-16196	Legal award is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16214-16214	Legal conviction is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16218-16218	Legal dismissal is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16245-16245	Sentencing is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33821-33821
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33820-33820
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33819-33819

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10794-10799	If an entity is an instance of legal decision, then there exists another entity such that the other entity is an instance of legal action and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10801-10808	If a physical is an instance of legal decision, then there exists a process such that the process is an instance of deciding and a class is a result of the process and the physical is an instance of the class and the time of existence of the process happens earlier than the time of existence of the physical

consequent

No TPTP formula. May not be expressible in strict first order.	Law.kif 295-306	If a cognitive agent is the defense lawyer in a legal action and another cognitive agent is the defendant in the legal action, then the cognitive agent desires there doesn't exist an entity such that the entity is an instance of legal decision and the entity includes a reference to the legal action and the other cognitive agent doesn't want the entity
No TPTP formula. May not be expressible in strict first order.	Law.kif 318-328	If a cognitive agent is the prosecutor in a legal action and another cognitive agent is the defendant in the legal action, then the cognitive agent desires there exists an entity such that the entity is an instance of legal decision and the entity includes a reference to the legal action and the other cognitive agent doesn't want the entity
No TPTP formula. May not be expressible in strict first order.	Law.kif 464-471	If a human is the counsel for an agent in a legal action, then the human desires there exists the legal actionD such that the legal actionD is an instance of legal decision and the legal action causes the legal actionD and the agent is a beneficiary of the legal actionD
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16088-16094	If a cognitive agent is an instance of jury, then the cognitive agent has the right to perform there exists an entity such that the entity is an instance of legal decision and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16187-16194	If a proposition is an instance of legal opinion, then there exist a process, a content bearing physical and an argument such that the process is an instance of legal decision and the content bearing physical is a result of the process and the content bearing physical contains information the argument and the conclusion of argument the argument is the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21008-21014	If a human holds the position of judge in an organization, then the statement there exists an entity such that the entity is an instance of legal decision and the human is an agent of the entity has the modal force of permission

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