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 9954-9956 | |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Seal_of_the_United_States_Supreme_Court.png") | pictureList.kif 3147-3147 | "http://upload.wikimedia.org/wikipedia/commons/3/33/ Seal_of_the_United_States_Supreme_Court.png" is a URL depicting legal decision |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ John_Paul_Stevens%2C_SCOTUS_photo_portrait.jpg") | pictureList.kif 2975-2975 | "http://upload.wikimedia.org/wikipedia/commons/3/3b/ John_Paul_Stevens%2C_SCOTUS_photo_portrait.jpg" is a URL depicting legal decision |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Hamilton_Ontario_01WPC.jpg") | pictureList.kif 3152-3152 | "http://upload.wikimedia.org/wikipedia/commons/7/7a/ Hamilton_Ontario_01WPC.jpg" is a URL depicting legal decision |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Hamilton_Ontario_03WPC.jpg") | pictureList.kif 3151-3151 | "http://upload.wikimedia.org/wikipedia/commons/8/83/ Hamilton_Ontario_03WPC.jpg" is a URL depicting legal decision |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Supreme_Court.jpg") | pictureList.kif 3146-3146 | "http://upload.wikimedia.org/wikipedia/commons/9/94/ Supreme_Court.jpg" is a URL depicting legal decision |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Supreme_Court_of_the_United_States.jpg") | pictureList.kif 3149-3149 | "http://upload.wikimedia.org/wikipedia/commons/b/b1/ Supreme_Court_of_the_United_States.jpg" is a URL depicting legal decision |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Hamilton_Ontario_02WPC.jpg") | pictureList.kif 3153-3153 | "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Hamilton_Ontario_02WPC.jpg" is a URL depicting legal decision |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Judiciary_Act_of_1789.jpg") | pictureList.kif 3150-3150 | "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Judiciary_Act_of_1789.jpg" is a URL depicting legal decision |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Hamilton_Ontario_07WPC.jpg") | pictureList.kif 3154-3154 | "http://upload.wikimedia.org/wikipedia/commons/e/e9/ Hamilton_Ontario_07WPC.jpg" is a URL depicting legal decision |
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ f/ ff/ Ruth_Bader_Ginsburg%2C_SCOTUS_photo_portrait.jpg") | pictureList.kif 3148-3148 | "http://upload.wikimedia.org/wikipedia/commons/f/ff/ Ruth_Bader_Ginsburg%2C_SCOTUS_photo_portrait.jpg" is a URL depicting legal decision |
(subclass LegalDecision Declaring) | Merge.kif 9952-9952 | Legal decision is a subclass of declaring |
(subclass LegalDecision JudicialProcess) | Merge.kif 9951-9951 | Legal decision is a subclass of judicial process |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?DECISION LegalDecision) (exists (?ACTION) (and (instance ?ACTION LegalAction) (refers ?DECISION ?ACTION)))) |
Merge.kif 9958-9963 |
|
(=> (instance ?DECISION LegalDecision) (exists (?DECIDE) (and (instance ?DECIDE Deciding) (earlier (WhenFn ?DECIDE) (WhenFn ?DECISION))))) |
Merge.kif 9965-9970 |
|
consequent |
![]() |
![]() |
![]() |