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 所做出的判决。注： 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 10913-10915
(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 10911-10911 LegalDecision は declaring の subclass では
(subclass LegalDecision JudicialProcess) Merge.kif 10910-10910 LegalDecision は JudicialProcess の subclass では

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


(subclass LegalAcquittal LegalDecision) Mid-level-ontology.kif 17628-17628 LegalAcquittal は LegalDecision の subclass では
(subclass LegalAward LegalDecision) Mid-level-ontology.kif 17583-17583 LegalAward は LegalDecision の subclass では
(subclass LegalConviction LegalDecision) Mid-level-ontology.kif 17601-17601 LegalConviction は LegalDecision の subclass では
(subclass LegalDismissal LegalDecision) Mid-level-ontology.kif 17605-17605 LegalDismissal は LegalDecision の subclass では
(subclass Sentencing LegalDecision) Mid-level-ontology.kif 17632-17632 Sentencing は LegalDecision の subclass では
(termFormat ChineseLanguage LegalDecision "法律决定") domainEnglishFormat.kif 33832-33832 Sentencing は LegalDecision の subclass では
(termFormat ChineseTraditionalLanguage LegalDecision "法律決定") domainEnglishFormat.kif 33831-33831 Sentencing は LegalDecision の subclass では
(termFormat EnglishLanguage LegalDecision "legal decision") domainEnglishFormat.kif 33830-33830 Sentencing は LegalDecision の subclass では

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


(=>
    (instance ?DECISION LegalDecision)
    (exists (?ACTION)
        (and
            (instance ?ACTION LegalAction)
            (refers ?DECISION ?ACTION))))		 Merge.kif 10917-10922
(=>
    (instance ?DECISION LegalDecision)
    (exists (?DECIDE)
        (and
            (instance ?DECIDE Deciding)
            (result ?DECIDE ?LD)
            (instance ?DECISION ?LD)
            (earlier
                (WhenFn ?DECIDE)
                (WhenFn ?DECISION)))))		 Merge.kif 10924-10931

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


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 is open source software produced by Articulate Software and its partners