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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LegalDecision

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 10790-10792
(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 3146-3146
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ John_Paul_Stevens%2C_SCOTUS_photo_portrait.jpg") pictureList.kif 2974-2974
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Hamilton_Ontario_01WPC.jpg") pictureList.kif 3151-3151
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Hamilton_Ontario_03WPC.jpg") pictureList.kif 3150-3150
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Supreme_Court.jpg") pictureList.kif 3145-3145
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Supreme_Court_of_the_United_States.jpg") pictureList.kif 3148-3148
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Hamilton_Ontario_02WPC.jpg") pictureList.kif 3152-3152
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Judiciary_Act_of_1789.jpg") pictureList.kif 3149-3149
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Hamilton_Ontario_07WPC.jpg") pictureList.kif 3153-3153
(externalImage LegalDecision "http://upload.wikimedia.org/wikipedia/commons/ f/ ff/ Ruth_Bader_Ginsburg%2C_SCOTUS_photo_portrait.jpg") pictureList.kif 3147-3147
(subclass LegalDecision Declaring) Merge.kif 10788-10788 法律决定声明subclass
(subclass LegalDecision JudicialProcess) Merge.kif 10787-10787 法律决定司法程序subclass

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


(subclass LegalAcquittal LegalDecision) Mid-level-ontology.kif 16241-16241 合法无罪释放法律决定subclass
(subclass LegalAward LegalDecision) Mid-level-ontology.kif 16196-16196 法律奖励法律决定subclass
(subclass LegalConviction LegalDecision) Mid-level-ontology.kif 16214-16214 法律定罪法律决定subclass
(subclass LegalDismissal LegalDecision) Mid-level-ontology.kif 16218-16218 法律解雇法律决定subclass
(subclass Sentencing LegalDecision) Mid-level-ontology.kif 16245-16245 宣判法律决定subclass
(termFormat ChineseLanguage LegalDecision "法律决定") domainEnglishFormat.kif 33821-33821
(termFormat ChineseTraditionalLanguage LegalDecision "法律決定") domainEnglishFormat.kif 33820-33820
(termFormat EnglishLanguage LegalDecision "legal decision") domainEnglishFormat.kif 33819-33819

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


(=>
    (instance ?DECISION LegalDecision)
    (exists (?ACTION)
        (and
            (instance ?ACTION LegalAction)
            (refers ?DECISION ?ACTION))))
Merge.kif 10794-10799
(=>
    (instance ?DECISION LegalDecision)
    (exists (?DECIDE)
        (and
            (instance ?DECIDE Deciding)
            (result ?DECIDE ?LD)
            (instance ?DECISION ?LD)
            (earlier
                (WhenFn ?DECIDE)
                (WhenFn ?DECISION)))))
Merge.kif 10801-10808

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 295-306
(=>
    (and
        (prosecutor ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (exists (?L)
            (and
                (instance ?L LegalDecision)
                (refers ?L ?P)
                (not
                    (wants ?D ?L))))))
Law.kif 318-328
(=>
    (counselInCase ?H ?A ?L)
    (desires ?H
        (exists (?LD)
            (and
                (instance ?LD LegalDecision)
                (causes ?L ?LD)
                (benefits ?LD ?A)))))
Law.kif 464-471
(=>
    (instance ?JURY Jury)
    (holdsRight
        (exists (?DECISION)
            (and
                (instance ?DECISION LegalDecision)
                (agent ?DECISION ?JURY))) ?JURY))
Mid-level-ontology.kif 16088-16094
(=>
    (instance ?OPINION LegalOpinion)
    (exists (?DECISION ?TEXT ?PROPOSITION)
        (and
            (instance ?DECISION LegalDecision)
            (result ?DECISION ?TEXT)
            (containsInformation ?TEXT ?PROPOSITION)
            (conclusion ?PROPOSITION ?OPINION))))
Mid-level-ontology.kif 16187-16194
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D LegalDecision)
                (agent ?D ?P))) Permission))
Mid-level-ontology.kif 21008-21014


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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