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_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 所做出的判决。注: LegalDecisionDeclaring 法庭判决的一个行为,它不是法官或陪审图对特定 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
-------------------------


(subclass LegalAcquittal LegalDecision) Mid-level-ontology.kif 13887-13887 LegalAcquittal is a subclass of legal decision
(subclass LegalAward LegalDecision) Mid-level-ontology.kif 13842-13842 Legal award is a subclass of legal decision
(subclass LegalConviction LegalDecision) Mid-level-ontology.kif 13860-13860 Legal conviction is a subclass of legal decision
(subclass LegalDismissal LegalDecision) Mid-level-ontology.kif 13864-13864 Legal dismissal is a subclass of legal decision
(subclass Sentencing LegalDecision) Mid-level-ontology.kif 13891-13891 Sentencing is a subclass of legal decision
(termFormat ChineseLanguage LegalDecision "法律决定") domainEnglishFormat.kif 33733-33733 "法律决定" is the printable form of legal decision in ChineseLanguage
(termFormat ChineseTraditionalLanguage LegalDecision "法律決定") domainEnglishFormat.kif 33732-33732 "法律決定" is the printable form of legal decision in ChineseTraditionalLanguage
(termFormat EnglishLanguage LegalDecision "legal decision") domainEnglishFormat.kif 33731-33731 "legal decision" is the printable form of legal decision in english language

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
-------------------------


(=>
    (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 336-347
(=>
    (and
        (prosecutor ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (exists (?L)
            (and
                (instance ?L LegalDecision)
                (refers ?L ?P)
                (not
                    (wants ?D ?L))))))
Law.kif 359-369
(=>
    (counselInCase ?H ?A ?L)
    (desires ?H
        (exists (?LD)
            (and
                (instance ?LD LegalDecision)
                (causes ?L ?LD)
                (benefits ?LD ?A)))))
Law.kif 506-513
(=>
    (instance ?JURY Jury)
    (holdsRight
        (exists (?DECISION)
            (and
                (instance ?DECISION LegalDecision)
                (agent ?DECISION ?JURY))) ?JURY))
Mid-level-ontology.kif 13741-13746
(=>
    (instance ?OPINION LegalOpinion)
    (exists (?DECISION ?TEXT ?PROPOSITION)
        (and
            (instance ?DECISION LegalDecision)
            (result ?DECISION ?TEXT)
            (containsInformation ?TEXT ?PROPOSITION)
            (conclusion ?PROPOSITION ?OPINION))))
Mid-level-ontology.kif 13833-13840
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D LegalDecision)
                (agent ?D ?P))) Permission))
Mid-level-ontology.kif 18688-18694


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners