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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JudicialProcess
JudicialProcess(judicial process)
Scopes_trial, arbitrament, arbitration, arbitrement, bill_of_review, court-martial, hang, judicial_review, justice, mistrial, ordeal, recusal, recusation, retrial, review, show_trial, stay, transactional_immunity, trial, trial_by_ordeal

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 10807-10812
(documentation JudicialProcess JapaneseLanguage "JudicialOrganization によって行われる法的 手続き。注:LegalActionJudicialProcess の概念には重要な違いがある。前者は、原告が提起し た法的請求を指す。例:訴訟。 後者は、LegalAction のメリットが決定される裁判や他の種類の司法審理 を指す。") japanese_format.kif 1717-1720
(externalImage JudicialProcess "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Jury_selection_-_Faulk.jpg") pictureList.kif 5037-5037
(externalImage JudicialProcess "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Witness_impeachment.jpg") pictureList.kif 4915-4915
(subclass JudicialProcess PoliticalProcess) Merge.kif 10805-10805 Judicial process is a subclass of political process

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


(subclass LegalAppeal JudicialProcess) Mid-level-ontology.kif 16338-16338 Legal appeal is a subclass of judicial process
(subclass LegalDecision JudicialProcess) Merge.kif 10821-10821 Legal decision is a subclass of judicial process
(subclass LegalSummons JudicialProcess) Mid-level-ontology.kif 16441-16441 Legal summons is a subclass of judicial process
(termFormat ChineseLanguage JudicialProcess "司法程序") domainEnglishFormat.kif 31895-31895 Legal summons is a subclass of judicial process
(termFormat ChineseTraditionalLanguage JudicialProcess "司法程序") domainEnglishFormat.kif 31894-31894 Legal summons is a subclass of judicial process
(termFormat EnglishLanguage JudicialProcess "judicial process") domainEnglishFormat.kif 31893-31893 Legal summons is a subclass of judicial process

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


(=>
    (and
        (instance ?PROCESS JudicialProcess)
        (agent ?PROCESS ?ORG)
        (instance ?ORG Organization))
    (instance ?ORG JudicialOrganization))
Merge.kif 10814-10819
(=>
    (instance ?PROCESS JudicialProcess)
    (exists (?ROOM)
        (and
            (instance ?ROOM CourtRoom)
            (eventLocated ?PROCESS ?ROOM))))
Mid-level-ontology.kif 16394-16399

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


(=>
    (instance ?P Pleading)
    (exists (?J)
        (and
            (instance ?J JudicialProcess)
            (subProcess ?P ?J))))
Mid-level-ontology.kif 16346-16351
(=>
    (instance ?TESTIFY Testifying)
    (exists (?PROC)
        (and
            (instance ?PROC JudicialProcess)
            (subProcess ?TESTIFY ?PROC))))
Mid-level-ontology.kif 16383-16388


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