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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JudicialProcess

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 10773-10778
(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 10771-10771 Judicial process is a subclass of political process

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


(subclass LegalAppeal JudicialProcess) Mid-level-ontology.kif 16120-16120 Legal appeal is a subclass of judicial process
(subclass LegalDecision JudicialProcess) Merge.kif 10787-10787 Legal decision is a subclass of judicial process
(subclass LegalSummons JudicialProcess) Mid-level-ontology.kif 16223-16223 Legal summons is a subclass of judicial process
(termFormat ChineseLanguage JudicialProcess "司法程序") domainEnglishFormat.kif 31861-31861
(termFormat ChineseTraditionalLanguage JudicialProcess "司法程序") domainEnglishFormat.kif 31860-31860
(termFormat EnglishLanguage JudicialProcess "judicial process") domainEnglishFormat.kif 31859-31859

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


(=>
    (and
        (instance ?PROCESS JudicialProcess)
        (agent ?PROCESS ?ORG)
        (instance ?ORG Organization))
    (instance ?ORG JudicialOrganization))
Merge.kif 10780-10785
(=>
    (instance ?PROCESS JudicialProcess)
    (exists (?ROOM)
        (and
            (instance ?ROOM CourtRoom)
            (eventLocated ?PROCESS ?ROOM))))
Mid-level-ontology.kif 16176-16181

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


(=>
    (instance ?P Pleading)
    (exists (?J)
        (and
            (instance ?J JudicialProcess)
            (subProcess ?P ?J))))
Mid-level-ontology.kif 16128-16133
(=>
    (instance ?TESTIFY Testifying)
    (exists (?PROC)
        (and
            (instance ?PROC JudicialProcess)
            (subProcess ?TESTIFY ?PROC))))
Mid-level-ontology.kif 16165-16170


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