| 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 | JudicialProcess e' uma sub-classe de Processo Politico |
| appearance as argument number 2 |
|
|
| (subclass LegalAppeal JudicialProcess) | Mid-level-ontology.kif 16147-16147 | LegalAppeal e' uma sub-classe de JudicialProcess |
| (subclass LegalDecision JudicialProcess) | Merge.kif 10821-10821 | LegalDecision e' uma sub-classe de JudicialProcess |
| (subclass LegalSummons JudicialProcess) | Mid-level-ontology.kif 16250-16250 | LegalSummons e' uma sub-classe de JudicialProcess |
| (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 |
|
|
|
|