Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - LegalDecision
LegalDecision
more pictures...

appearance as argument number 1
-------------------------


(subclass LegalDecision JudicialProcess) Merge.kif 11034-11034
(subclass LegalDecision Declaring) Merge.kif 11035-11035
(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 11037-11039
(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/ 9/ 94/ Supreme_Court.jpg") pictureList.kif 3144-3144
(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/ f/ ff/ Ruth_Bader_Ginsburg%2C_SCOTUS_photo_portrait.jpg") pictureList.kif 3146-3146
(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/ d/ d3/ Judiciary_Act_of_1789.jpg") pictureList.kif 3148-3148
(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/ 7/ 7a/ Hamilton_Ontario_01WPC.jpg") pictureList.kif 3150-3150
(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/ e/ e9/ Hamilton_Ontario_07WPC.jpg") pictureList.kif 3152-3152

appearance as argument number 2
-------------------------


(subclass LegalAward LegalDecision) Mid-level-ontology.kif 17829-17829
(subclass LegalConviction LegalDecision) Mid-level-ontology.kif 17847-17847
(subclass LegalDismissal LegalDecision) Mid-level-ontology.kif 17851-17851
(subclass LegalAcquittal LegalDecision) Mid-level-ontology.kif 17874-17874
(subclass Sentencing LegalDecision) Mid-level-ontology.kif 17878-17878
(termFormat EnglishLanguage LegalDecision "legal decision") domainEnglishFormat.kif 33823-33823
(termFormat ChineseTraditionalLanguage LegalDecision "法律決定") domainEnglishFormat.kif 33824-33824
(termFormat ChineseLanguage LegalDecision "法律决定") domainEnglishFormat.kif 33825-33825

antecedent
-------------------------


(=>
    (instance ?DECISION LegalDecision)
    (exists (?ACTION)
        (and
            (instance ?ACTION LegalAction)
            (refers ?DECISION ?ACTION))))
Merge.kif 11041-11046
(=>
    (instance ?DECISION LegalDecision)
    (exists (?DECIDE ?LD)
        (and
            (instance ?DECIDE Deciding)
            (result ?DECIDE ?LD)
            (instance ?DECISION ?LD)
            (earlier
                (WhenFn ?DECIDE)
                (WhenFn ?DECISION)))))
Merge.kif 11048-11055

consequent
-------------------------


(=>
    (instance ?JURY Jury)
    (holdsRight ?JURY
        (exists (?DECISION)
            (and
                (instance ?DECISION LegalDecision)
                (agent ?DECISION ?JURY)))))
Mid-level-ontology.kif 17696-17702
(=>
    (instance ?OPINION LegalOpinion)
    (exists (?DECISION ?TEXT ?FORM)
        (and
            (instance ?DECISION LegalDecision)
            (result ?DECISION ?TEXT)
            (containsFormula ?TEXT ?FORM)
            (conclusion ?OPINION ?FORM))))
Mid-level-ontology.kif 17820-17827
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D LegalDecision)
                (agent ?D ?P))) Permission))
Mid-level-ontology.kif 23250-23256
(=>
    (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 275-286
(=>
    (and
        (prosecutor ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (exists (?L)
            (and
                (instance ?L LegalDecision)
                (refers ?L ?P)
                (not
                    (wants ?D ?L))))))
Law.kif 299-309
(=>
    (counselInCase ?H ?A ?L)
    (desires ?H
        (exists (?LD)
            (and
                (instance ?LD LegalDecision)
                (causes ?L ?LD)
                (benefits ?LD ?A)))))
Law.kif 445-452


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners