(subclass JudicialOrganization Organization) | Merge.kif 16724-16724 | JudicialOrganization は 組織 の subclass では %n |
(subclass IslamicLawCourt JudicialOrganization) | Government.kif 2161-2161 | IslamicLawCourt は JudicialOrganization の subclass では %n |
(subclass SupremeCourt JudicialOrganization) | Government.kif 2171-2171 | SupremeCourt は JudicialOrganization の subclass では %n |
(subclass AppealsCourt JudicialOrganization) | Government.kif 2198-2198 | AppealsCourt は JudicialOrganization の subclass では %n |
(subclass ConstitutionalCourt JudicialOrganization) | Government.kif 2203-2203 | ConstitutionalCourt は JudicialOrganization の subclass では %n |