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 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

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


(subclass LegalAppeal JudicialProcess) Mid-level-ontology.kif 16147-16147
(subclass LegalDecision JudicialProcess) Merge.kif 10821-10821
(subclass LegalSummons JudicialProcess) Mid-level-ontology.kif 16250-16250
(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 10814-10819
(=>
    (instance ?PROCESS JudicialProcess)
    (exists (?ROOM)
        (and
            (instance ?ROOM CourtRoom)
            (eventLocated ?PROCESS ?ROOM))))
Mid-level-ontology.kif 16203-16208

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


(=>
    (instance ?P Pleading)
    (exists (?J)
        (and
            (instance ?J JudicialProcess)
            (subProcess ?P ?J))))
Mid-level-ontology.kif 16155-16160
(=>
    (instance ?TESTIFY Testifying)
    (exists (?PROC)
        (and
            (instance ?PROC JudicialProcess)
            (subProcess ?TESTIFY ?PROC))))
Mid-level-ontology.kif 16192-16197


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