LegalDecision - Sigma Knowledge base Browser

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

(documentation LegalDecision ChineseLanguage "这是由法庭对一个 LegalAction 所做出的判决。注： LegalDecision 是 Declaring 法庭判决的一个行为，它不是法官或陪审图对特定 LegalAction 的优胜所做出的 Deciding 行为。")	chinese_format.kif 2964-2966
(documentation LegalDecision EnglishLanguage "A decision issued by a court with respect to a LegalAction. Note that a LegalDecision is the act of Declaring a decision of a court, it is not the act of judge or jury Deciding the merits of a particular LegalAction.")	Merge.kif 10824-10826
(documentation LegalDecision JapaneseLanguage "LegalAction に関して裁判所が出した決定。注：LegalDecision は裁判所の決定である Declaring の行為であり、特定の LegalAction のメリットを Deciding 裁判官または陪審員の行為ではない。")	japanese_format.kif 1721-1723
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Seal_of_the_United_States_Supreme_Court.png")	pictureList.kif 3146-3146
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ John_Paul_Stevens%2C_SCOTUS_photo_portrait.jpg")	pictureList.kif 2974-2974
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Hamilton_Ontario_01WPC.jpg")	pictureList.kif 3151-3151
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Hamilton_Ontario_03WPC.jpg")	pictureList.kif 3150-3150
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Supreme_Court.jpg")	pictureList.kif 3145-3145
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Supreme_Court_of_the_United_States.jpg")	pictureList.kif 3148-3148
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Hamilton_Ontario_02WPC.jpg")	pictureList.kif 3152-3152
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Judiciary_Act_of_1789.jpg")	pictureList.kif 3149-3149
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Hamilton_Ontario_07WPC.jpg")	pictureList.kif 3153-3153
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ f/ ff/ Ruth_Bader_Ginsburg%2C_SCOTUS_photo_portrait.jpg")	pictureList.kif 3147-3147
(subclass LegalDecision Declaring)	Merge.kif 10822-10822	Legal decision is a subclass of declaring
(subclass LegalDecision JudicialProcess)	Merge.kif 10821-10821	Legal decision is a subclass of judicial process

appearance as argument number 2

(subclass LegalAcquittal LegalDecision)	Mid-level-ontology.kif 16459-16459	Legal acquittal is a subclass of legal decision
(subclass LegalAward LegalDecision)	Mid-level-ontology.kif 16414-16414	Legal award is a subclass of legal decision
(subclass LegalConviction LegalDecision)	Mid-level-ontology.kif 16432-16432	Legal conviction is a subclass of legal decision
(subclass LegalDismissal LegalDecision)	Mid-level-ontology.kif 16436-16436	Legal dismissal is a subclass of legal decision
(subclass Sentencing LegalDecision)	Mid-level-ontology.kif 16463-16463	Sentencing is a subclass of legal decision
(termFormat ChineseLanguage LegalDecision "法律决定")	domainEnglishFormat.kif 33855-33855	Sentencing is a subclass of legal decision
(termFormat ChineseTraditionalLanguage LegalDecision "法律決定")	domainEnglishFormat.kif 33854-33854	Sentencing is a subclass of legal decision
(termFormat EnglishLanguage LegalDecision "legal decision")	domainEnglishFormat.kif 33853-33853	Sentencing is a subclass of legal decision

antecedent

(=> (instance ?DECISION LegalDecision) (exists (?ACTION) (and (instance ?ACTION LegalAction) (refers ?DECISION ?ACTION))))	Merge.kif 10828-10833	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
(=> (instance ?DECISION LegalDecision) (exists (?DECIDE) (and (instance ?DECIDE Deciding) (result ?DECIDE ?LD) (instance ?DECISION ?LD) (earlier (WhenFn ?DECIDE) (WhenFn ?DECISION)))))	Merge.kif 10835-10842	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

(=> (and (defenseLawyer ?P ?A) (defendant ?P ?D)) (desires ?A (not (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))))	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
(=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L))))))	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
(=> (counselInCase ?H ?A ?L) (desires ?H (exists (?LD) (and (instance ?LD LegalDecision) (causes ?L ?LD) (benefits ?LD ?A)))))	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
(=> (instance ?JURY Jury) (holdsRight (exists (?DECISION) (and (instance ?DECISION LegalDecision) (agent ?DECISION ?JURY))) ?JURY))	Mid-level-ontology.kif 16306-16312	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
(=> (instance ?OPINION LegalOpinion) (exists (?DECISION ?TEXT ?PROPOSITION) (and (instance ?DECISION LegalDecision) (result ?DECISION ?TEXT) (containsInformation ?TEXT ?PROPOSITION) (conclusion ?PROPOSITION ?OPINION))))	Mid-level-ontology.kif 16405-16412	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
(=> (occupiesPosition ?P JudgeAtLaw ?O) (modalAttribute (exists (?D) (and (instance ?D LegalDecision) (agent ?D ?P))) Permission))	Mid-level-ontology.kif 21266-21272	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 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