JudicialProcess |
appearance as argument number 1 |
(documentation JudicialProcess ChineseLanguage "这是任何由 JudicialOrganization 所举行的法律 程序。注:LegalAction 和 JudicialProcess 概念之间有一个重要的区别,前者指的是由原告提出的法律索赔, 如法律诉讼;而第二种情况是指审判和其他类型的司法听证,来决定 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 によって行われる法的 手続き。注:LegalAction と JudicialProcess の概念には重要な違いがある。前者は、原告が提起し た法的請求を指す。例:訴訟。 後者は、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 |