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 16796-16800 | |
(externalImage JudicialOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 94/ Supreme_Court.jpg") | pictureList.kif 5036-5036 | |
(subclass JudicialOrganization Organization) | Merge.kif 16795-16795 | JudicialOrganization は 組織 の subclass では %n |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 2049-2054 |
|
consequent |