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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LegalDecision
LegalDecision
more pictures...

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 10045-10047
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Seal_of_the_United_States_Supreme_Court.png") pictureList.kif 3147-3147
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ John_Paul_Stevens%2C_SCOTUS_photo_portrait.jpg") pictureList.kif 2975-2975
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Hamilton_Ontario_01WPC.jpg") pictureList.kif 3152-3152
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Hamilton_Ontario_03WPC.jpg") pictureList.kif 3151-3151
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Supreme_Court.jpg") pictureList.kif 3146-3146
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Supreme_Court_of_the_United_States.jpg") pictureList.kif 3149-3149
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Hamilton_Ontario_02WPC.jpg") pictureList.kif 3153-3153
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Judiciary_Act_of_1789.jpg") pictureList.kif 3150-3150
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Hamilton_Ontario_07WPC.jpg") pictureList.kif 3154-3154
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ f/ ff/ Ruth_Bader_Ginsburg%2C_SCOTUS_photo_portrait.jpg") pictureList.kif 3148-3148
(subclass LegalDecision Declaring) Merge.kif 10043-10043 subclass LegalDecision and Declaring
(subclass LegalDecision JudicialProcess) Merge.kif 10042-10042 subclass LegalDecision and JudicialProcess

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


(subclass LegalAcquittal LegalDecision) Mid-level-ontology.kif 13888-13888 subclass LegalAcquittal and LegalDecision
(subclass LegalAward LegalDecision) Mid-level-ontology.kif 13843-13843 subclass LegalAward and LegalDecision
(subclass LegalConviction LegalDecision) Mid-level-ontology.kif 13861-13861 subclass LegalConviction and LegalDecision
(subclass LegalDismissal LegalDecision) Mid-level-ontology.kif 13865-13865 subclass LegalDismissal and LegalDecision
(subclass Sentencing LegalDecision) Mid-level-ontology.kif 13892-13892 subclass Sentencing and LegalDecision
(termFormat ChineseLanguage LegalDecision "法律决定") domainEnglishFormat.kif 33715-33715
(termFormat ChineseTraditionalLanguage LegalDecision "法律決定") domainEnglishFormat.kif 33714-33714
(termFormat EnglishLanguage LegalDecision "legal decision") domainEnglishFormat.kif 33713-33713

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


(=>
    (instance ?DECISION LegalDecision)
    (exists (?ACTION)
        (and
            (instance ?ACTION LegalAction)
            (refers ?DECISION ?ACTION))))
Merge.kif 10049-10054
(=>
    (instance ?DECISION LegalDecision)
    (exists (?DECIDE)
        (and
            (instance ?DECIDE Deciding)
            (earlier
                (WhenFn ?DECIDE)
                (WhenFn ?DECISION)))))
Merge.kif 10056-10061

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 338-349
(=>
    (and
        (prosecutor ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (exists (?L)
            (and
                (instance ?L LegalDecision)
                (refers ?L ?P)
                (not
                    (wants ?D ?L))))))
Law.kif 361-371
(=>
    (counselInCase ?H ?A ?L)
    (desires ?H
        (exists (?LD)
            (and
                (instance ?LD LegalDecision)
                (causes ?L ?LD)
                (benefits ?LD ?A)))))
Law.kif 508-515
(=>
    (instance ?JURY Jury)
    (holdsRight
        (exists (?DECISION)
            (and
                (instance ?DECISION LegalDecision)
                (agent ?DECISION ?JURY))) ?JURY))
Mid-level-ontology.kif 13742-13747
(=>
    (instance ?OPINION LegalOpinion)
    (exists (?DECISION ?TEXT ?PROPOSITION)
        (and
            (instance ?DECISION LegalDecision)
            (result ?DECISION ?TEXT)
            (containsInformation ?TEXT ?PROPOSITION)
            (conclusion ?PROPOSITION ?OPINION))))
Mid-level-ontology.kif 13834-13841
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D LegalDecision)
                (agent ?D ?P))) Permission))
Mid-level-ontology.kif 18689-18695


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