LegalDecision![]() ![]() ![]() ![]() | ![]() |
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 10110-10112 | |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Seal_of_the_United_States_Supreme_Court.png") | pictureList.kif 3147-3147 | |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ John_Paul_Stevens%2C_SCOTUS_photo_portrait.jpg") | pictureList.kif 2975-2975 | |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Hamilton_Ontario_01WPC.jpg") | pictureList.kif 3152-3152 | |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Hamilton_Ontario_03WPC.jpg") | pictureList.kif 3151-3151 | |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Supreme_Court.jpg") | pictureList.kif 3146-3146 | |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Supreme_Court_of_the_United_States.jpg") | pictureList.kif 3149-3149 | |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Hamilton_Ontario_02WPC.jpg") | pictureList.kif 3153-3153 | |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Judiciary_Act_of_1789.jpg") | pictureList.kif 3150-3150 | |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Hamilton_Ontario_07WPC.jpg") | pictureList.kif 3154-3154 | |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ f/ ff/ Ruth_Bader_Ginsburg%2C_SCOTUS_photo_portrait.jpg") | pictureList.kif 3148-3148 | |
(subclass LegalDecision Declaring) | Merge.kif 10108-10108 | |
(subclass LegalDecision JudicialProcess) | Merge.kif 10107-10107 |
appearance as argument number 2 |
![]() |
(subclass LegalAcquittal LegalDecision) | Mid-level-ontology.kif 13915-13915 | |
(subclass LegalAward LegalDecision) | Mid-level-ontology.kif 13870-13870 | |
(subclass LegalConviction LegalDecision) | Mid-level-ontology.kif 13888-13888 | |
(subclass LegalDismissal LegalDecision) | Mid-level-ontology.kif 13892-13892 | |
(subclass Sentencing LegalDecision) | Mid-level-ontology.kif 13919-13919 | |
(termFormat ChineseLanguage LegalDecision "法律决定") | domainEnglishFormat.kif 33811-33811 | |
(termFormat ChineseTraditionalLanguage LegalDecision "法律決定") | domainEnglishFormat.kif 33810-33810 | |
(termFormat EnglishLanguage LegalDecision "legal decision") | domainEnglishFormat.kif 33809-33809 |
antecedent |
![]() |
(=> (instance ?DECISION LegalDecision) (exists (?ACTION) (and (instance ?ACTION LegalAction) (refers ?DECISION ?ACTION)))) |
Merge.kif 10114-10119 | |
(=> (instance ?DECISION LegalDecision) (exists (?DECIDE) (and (instance ?DECIDE Deciding) (earlier (WhenFn ?DECIDE) (WhenFn ?DECISION))))) |
Merge.kif 10121-10126 |
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 338-349 | |
(=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))) |
Law.kif 361-371 | |
(=> (counselInCase ?H ?A ?L) (desires ?H (exists (?LD) (and (instance ?LD LegalDecision) (causes ?L ?LD) (benefits ?LD ?A))))) |
Law.kif 508-515 | |
(=> (instance ?JURY Jury) (holdsRight (exists (?DECISION) (and (instance ?DECISION LegalDecision) (agent ?DECISION ?JURY))) ?JURY)) |
Mid-level-ontology.kif 13769-13774 | |
(=> (instance ?OPINION LegalOpinion) (exists (?DECISION ?TEXT ?PROPOSITION) (and (instance ?DECISION LegalDecision) (result ?DECISION ?TEXT) (containsInformation ?TEXT ?PROPOSITION) (conclusion ?PROPOSITION ?OPINION)))) |
Mid-level-ontology.kif 13861-13868 | |
(=> (occupiesPosition ?P JudgeAtLaw ?O) (modalAttribute (exists (?D) (and (instance ?D LegalDecision) (agent ?D ?P))) Permission)) |
Mid-level-ontology.kif 18720-18726 |
![]() |
![]() |