more pictures...
| LegalDecision
more pictures... | |
| 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 10776-10778 | |
| (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 10774-10774 | LegalDecision は declaring の subclass では %n |
| (subclass LegalDecision JudicialProcess) | Merge.kif 10773-10773 | LegalDecision は JudicialProcess の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass LegalAcquittal LegalDecision) | Mid-level-ontology.kif 16176-16176 | LegalAcquittal は LegalDecision の subclass では %n |
| (subclass LegalAward LegalDecision) | Mid-level-ontology.kif 16131-16131 | LegalAward は LegalDecision の subclass では %n |
| (subclass LegalConviction LegalDecision) | Mid-level-ontology.kif 16149-16149 | LegalConviction は LegalDecision の subclass では %n |
| (subclass LegalDismissal LegalDecision) | Mid-level-ontology.kif 16153-16153 | LegalDismissal は LegalDecision の subclass では %n |
| (subclass Sentencing LegalDecision) | Mid-level-ontology.kif 16180-16180 | Sentencing は LegalDecision の subclass では %n |
| (termFormat ChineseLanguage LegalDecision "法律决定") | domainEnglishFormat.kif 33827-33827 | |
| (termFormat ChineseTraditionalLanguage LegalDecision "法律決定") | domainEnglishFormat.kif 33826-33826 | |
| (termFormat EnglishLanguage LegalDecision "legal decision") | domainEnglishFormat.kif 33825-33825 |
| antecedent |
|
|
| (=> (instance ?DECISION LegalDecision) (exists (?ACTION) (and (instance ?ACTION LegalAction) (refers ?DECISION ?ACTION)))) |
Merge.kif 10780-10785 | |
| (=> (instance ?DECISION LegalDecision) (exists (?DECIDE) (and (instance ?DECIDE Deciding) (earlier (WhenFn ?DECIDE) (WhenFn ?DECISION))))) |
Merge.kif 10787-10792 |
| 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 314-325 | |
| (=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))) |
Law.kif 337-347 | |
| (=> (counselInCase ?H ?A ?L) (desires ?H (exists (?LD) (and (instance ?LD LegalDecision) (causes ?L ?LD) (benefits ?LD ?A))))) |
Law.kif 483-490 |
|
| (=> (instance ?JURY Jury) (holdsRight (exists (?DECISION) (and (instance ?DECISION LegalDecision) (agent ?DECISION ?JURY))) ?JURY)) |
Mid-level-ontology.kif 16023-16029 | |
| (=> (instance ?OPINION LegalOpinion) (exists (?DECISION ?TEXT ?PROPOSITION) (and (instance ?DECISION LegalDecision) (result ?DECISION ?TEXT) (containsInformation ?TEXT ?PROPOSITION) (conclusion ?PROPOSITION ?OPINION)))) |
Mid-level-ontology.kif 16122-16129 |
|
| (=> (occupiesPosition ?P JudgeAtLaw ?O) (modalAttribute (exists (?D) (and (instance ?D LegalDecision) (agent ?D ?P))) Permission)) |
Mid-level-ontology.kif 20913-20919 |
|
|
|
|