|
|
   JudicialOrganization
|
|
|
| appearance as argument number 1 |
|
|
| (documentation JudicialOrganization ChineseLanguage "JudicialOrganization 是 Organization 的类别，它的主要宗旨是按照政府或其他组织的法规或条例作出判决。司法机构不一定是政府机构， 举例说体育协会的相关组织。") | chinese_format.kif 3744-3746 | |
| (documentation JudicialOrganization EnglishLanguage "JudicialOrganization is the class of Organizations whose primary purpose is to render judgments according to the statutes or regulations of a government or other organization. Judicial bodies are not necessarily government organizations, for example, those associated with sporting associations.") | Merge.kif 16725-16729 | |
| (externalImage JudicialOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 94/ Supreme_Court.jpg") | pictureList.kif 5036-5036 | |
| (subclass JudicialOrganization Organization) | Merge.kif 16724-16724 | 子類 司法組織 and Organization |
| appearance as argument number 2 |
|
|
| (instance InternationalCourtOfJustice JudicialOrganization) | Government.kif 3447-3447 | 例 國際法院 and 司法組織 |
| (range JudiciaryFn JudicialOrganization) | Government.kif 2140-2140 | 範圍 司法 and 司法組織 |
| (subclass AppealsCourt JudicialOrganization) | Government.kif 2198-2198 | 子類 上訴法院 and 司法組織 |
| (subclass ConstitutionalCourt JudicialOrganization) | Government.kif 2203-2203 | 子類 立憲法院 and 司法組織 |
| (subclass IslamicLawCourt JudicialOrganization) | Government.kif 2161-2161 | 子類 伊斯蘭法院 and 司法組織 |
| (subclass SupremeCourt JudicialOrganization) | Government.kif 2171-2171 | 子類 最高法院 and 司法組織 |
| (termFormat ChineseLanguage JudicialOrganization "司法组织") | domainEnglishFormat.kif 31855-31855 | |
| (termFormat ChineseTraditionalLanguage JudicialOrganization "司法組織") | domainEnglishFormat.kif 31854-31854 | |
| (termFormat EnglishLanguage JudicialOrganization "judicial organization") | domainEnglishFormat.kif 31853-31853 |
| antecedent |
|
|
| (=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 2085-2090 |
|
| consequent |
|
|
| (=> (and (instance ?PROCESS JudicialProcess) (agent ?PROCESS ?ORG) (instance ?ORG Organization)) (instance ?ORG JudicialOrganization)) |
Merge.kif 10780-10785 |
|
| (=> (attribute ?PERSON JudgeAtLaw) (exists (?ORG) (and (instance ?ORG JudicialOrganization) (instance ?ORG GovernmentOrganization) (employs ?ORG ?PERSON)))) |
Mid-level-ontology.kif 20998-21004 |
|
| (=> (judicialBranch ?ORG ?AGENT) (instance ?ORG JudicialOrganization)) |
Government.kif 2108-2110 |
|
| (=> (occupiesPosition ?P JudgeAtLaw ?O) (instance ?O JudicialOrganization)) |
Mid-level-ontology.kif 21016-21018 |
|
|
|
|
