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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JudicialProcess
JudicialProcess

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


(documentation JudicialProcess ChineseLanguage "这是任何由 JudicialOrganization 所举行的法律 程序。注:LegalActionJudicialProcess 概念之间有一个重要的区别,前者指的是由原告提出的法律索赔, 如法律诉讼;而第二种情况是指审判和其他类型的司法听证,来决定 LegalAction 的优胜。") chinese_format.kif 2961-2963
(documentation JudicialProcess EnglishLanguage "Any legal proceeding which is conducted by a JudicialOrganization. Note that there is an important difference between the concepts LegalAction and JudicialProcess. The former refers to legal claims that are brought by a plaintiff, e.g. law suits, while the second refers to trials and other sorts of judicial hearings where the merits of a LegalAction are decided.") Merge.kif 10661-10666
(externalImage JudicialProcess "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Jury_selection_-_Faulk.jpg") pictureList.kif 5038-5038
(externalImage JudicialProcess "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Witness_impeachment.jpg") pictureList.kif 4916-4916
(subclass JudicialProcess PoliticalProcess) Merge.kif 10659-10659

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


(subclass LegalAppeal JudicialProcess) Mid-level-ontology.kif 15545-15545
(subclass LegalDecision JudicialProcess) Merge.kif 10675-10675
(subclass LegalSummons JudicialProcess) Mid-level-ontology.kif 15644-15644
(termFormat ChineseLanguage JudicialProcess "司法程序") domainEnglishFormat.kif 31848-31848
(termFormat ChineseTraditionalLanguage JudicialProcess "司法程序") domainEnglishFormat.kif 31847-31847
(termFormat EnglishLanguage JudicialProcess "judicial process") domainEnglishFormat.kif 31846-31846

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


(=>
    (and
        (instance ?PROCESS JudicialProcess)
        (agent ?PROCESS ?ORG)
        (instance ?ORG Organization))
    (instance ?ORG JudicialOrganization))
Merge.kif 10668-10673
(=>
    (instance ?PROCESS JudicialProcess)
    (exists (?ROOM)
        (and
            (instance ?ROOM CourtRoom)
            (eventLocated ?PROCESS ?ROOM))))
Mid-level-ontology.kif 15597-15602

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


(=>
    (instance ?P Pleading)
    (exists (?J)
        (and
            (instance ?J JudicialProcess)
            (subProcess ?P ?J))))
Mid-level-ontology.kif 15553-15558
(=>
    (instance ?TESTIFY Testifying)
    (exists (?PROC)
        (and
            (instance ?PROC JudicialProcess)
            (subProcess ?TESTIFY ?PROC))))
Mid-level-ontology.kif 15586-15591


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