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 10928-10930 | |
| (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 3145-3145 | |
| (externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ John_Paul_Stevens%2C_SCOTUS_photo_portrait.jpg") | pictureList.kif 2973-2973 | |
| (externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Hamilton_Ontario_01WPC.jpg") | pictureList.kif 3150-3150 | |
| (externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Hamilton_Ontario_03WPC.jpg") | pictureList.kif 3149-3149 | |
| (externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Supreme_Court.jpg") | pictureList.kif 3144-3144 | |
| (externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Supreme_Court_of_the_United_States.jpg") | pictureList.kif 3147-3147 | |
| (externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Hamilton_Ontario_02WPC.jpg") | pictureList.kif 3151-3151 | |
| (externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Judiciary_Act_of_1789.jpg") | pictureList.kif 3148-3148 | |
| (externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Hamilton_Ontario_07WPC.jpg") | pictureList.kif 3152-3152 | |
| (externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ f/ ff/ Ruth_Bader_Ginsburg%2C_SCOTUS_photo_portrait.jpg") | pictureList.kif 3146-3146 | |
| (subclass LegalDecision Declaring) | Merge.kif 10926-10926 | |
| (subclass LegalDecision JudicialProcess) | Merge.kif 10925-10925 |
| appearance as argument number 2 |
|
|
| (subclass LegalAcquittal LegalDecision) | Mid-level-ontology.kif 17628-17628 | |
| (subclass LegalAward LegalDecision) | Mid-level-ontology.kif 17583-17583 | |
| (subclass LegalConviction LegalDecision) | Mid-level-ontology.kif 17601-17601 | |
| (subclass LegalDismissal LegalDecision) | Mid-level-ontology.kif 17605-17605 | |
| (subclass Sentencing LegalDecision) | Mid-level-ontology.kif 17632-17632 | |
| (termFormat ChineseLanguage LegalDecision "法律决定") | domainEnglishFormat.kif 33832-33832 | |
| (termFormat ChineseTraditionalLanguage LegalDecision "法律決定") | domainEnglishFormat.kif 33831-33831 | |
| (termFormat EnglishLanguage LegalDecision "legal decision") | domainEnglishFormat.kif 33830-33830 |
| antecedent |
|
|
| (=> (instance ?DECISION LegalDecision) (exists (?ACTION) (and (instance ?ACTION LegalAction) (refers ?DECISION ?ACTION)))) |
Merge.kif 10932-10937 | |
| (=> (instance ?DECISION LegalDecision) (exists (?DECIDE) (and (instance ?DECIDE Deciding) (result ?DECIDE ?LD) (instance ?DECISION ?LD) (earlier (WhenFn ?DECIDE) (WhenFn ?DECISION))))) |
Merge.kif 10939-10946 |
| 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 300-311 | |
| (=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))) |
Law.kif 324-334 | |
| (=> (counselInCase ?H ?A ?L) (desires ?H (exists (?LD) (and (instance ?LD LegalDecision) (causes ?L ?LD) (benefits ?LD ?A))))) |
Law.kif 470-477 | |
| (=> (instance ?JURY Jury) (holdsRight (exists (?DECISION) (and (instance ?DECISION LegalDecision) (agent ?DECISION ?JURY))) ?JURY)) |
Mid-level-ontology.kif 17475-17481 | |
| (=> (instance ?OPINION LegalOpinion) (exists (?DECISION ?TEXT ?PROPOSITION) (and (instance ?DECISION LegalDecision) (result ?DECISION ?TEXT) (containsInformation ?TEXT ?PROPOSITION) (conclusion ?PROPOSITION ?OPINION)))) |
Mid-level-ontology.kif 17574-17581 | |
| (=> (occupiesPosition ?P JudgeAtLaw ?O) (modalAttribute (exists (?D) (and (instance ?D LegalDecision) (agent ?D ?P))) Permission)) |
Mid-level-ontology.kif 22625-22631 |
|
|
|