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 10836-10841
(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 5036-5036
(externalImage JudicialProcess "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Witness_impeachment.jpg") pictureList.kif 4914-4914
(subclass JudicialProcess PoliticalProcess) Merge.kif 10834-10834 Judicial process is a subclass of political process

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


(subclass LegalAppeal JudicialProcess) Mid-level-ontology.kif 17048-17048 Legal appeal is a subclass of judicial process
(subclass LegalDecision JudicialProcess) Merge.kif 10850-10850 Legal decision is a subclass of judicial process
(subclass LegalSummons JudicialProcess) Mid-level-ontology.kif 17151-17151 Legal summons is a subclass of judicial process
(termFormat ChineseLanguage JudicialProcess "司法程序") domainEnglishFormat.kif 31889-31889 Legal summons is a subclass of judicial process
(termFormat ChineseTraditionalLanguage JudicialProcess "司法程序") domainEnglishFormat.kif 31888-31888 Legal summons is a subclass of judicial process
(termFormat EnglishLanguage JudicialProcess "judicial process") domainEnglishFormat.kif 31887-31887 Legal summons is a subclass of judicial process

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


(=>
    (and
        (instance ?PROCESS JudicialProcess)
        (agent ?PROCESS ?ORG)
        (instance ?ORG Organization))
    (instance ?ORG JudicialOrganization))
Merge.kif 10843-10848
(=>
    (instance ?PROCESS JudicialProcess)
    (exists (?ROOM)
        (and
            (instance ?ROOM CourtRoom)
            (eventLocated ?PROCESS ?ROOM))))
Mid-level-ontology.kif 17104-17109

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


(=>
    (instance ?P Pleading)
    (exists (?J)
        (and
            (instance ?J JudicialProcess)
            (subProcess ?P ?J))))
Mid-level-ontology.kif 17056-17061
(=>
    (instance ?TESTIFY Testifying)
    (exists (?PROC)
        (and
            (instance ?PROC JudicialProcess)
            (subProcess ?TESTIFY ?PROC))))
Mid-level-ontology.kif 17093-17098


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