| 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 10661-10666 | |
| (externalImage JudicialProcess "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Jury_selection_-_Faulk.jpg") | pictureList.kif 5038-5038 | |
| (externalImage JudicialProcess "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Witness_impeachment.jpg") | pictureList.kif 4916-4916 | |
| (subclass JudicialProcess PoliticalProcess) | Merge.kif 10659-10659 |
| appearance as argument number 2 |
|
|
| (subclass LegalAppeal JudicialProcess) | Mid-level-ontology.kif 15545-15545 | |
| (subclass LegalDecision JudicialProcess) | Merge.kif 10675-10675 | |
| (subclass LegalSummons JudicialProcess) | Mid-level-ontology.kif 15644-15644 | |
| (termFormat ChineseLanguage JudicialProcess "司法程序") | domainEnglishFormat.kif 31848-31848 | |
| (termFormat ChineseTraditionalLanguage JudicialProcess "司法程序") | domainEnglishFormat.kif 31847-31847 | |
| (termFormat EnglishLanguage JudicialProcess "judicial process") | domainEnglishFormat.kif 31846-31846 |
| antecedent |
|
|
| (=> (and (instance ?PROCESS JudicialProcess) (agent ?PROCESS ?ORG) (instance ?ORG Organization)) (instance ?ORG JudicialOrganization)) |
Merge.kif 10668-10673 | |
| (=> (instance ?PROCESS JudicialProcess) (exists (?ROOM) (and (instance ?ROOM CourtRoom) (eventLocated ?PROCESS ?ROOM)))) |
Mid-level-ontology.kif 15597-15602 |
| consequent |
|
|
| (=> (instance ?P Pleading) (exists (?J) (and (instance ?J JudicialProcess) (subProcess ?P ?J)))) |
Mid-level-ontology.kif 15553-15558 | |
| (=> (instance ?TESTIFY Testifying) (exists (?PROC) (and (instance ?PROC JudicialProcess) (subProcess ?TESTIFY ?PROC)))) |
Mid-level-ontology.kif 15586-15591 |
|
|
|