| (subclass JudicialOrganization Organization) | Merge.kif 16746-16746 | JudicialOrganization è una sottoclasse di Organizzazione |
| (subclass IslamicLawCourt JudicialOrganization) | Government.kif 2161-2161 | IslamicLawCourt è una sottoclasse di JudicialOrganization |
| (subclass SupremeCourt JudicialOrganization) | Government.kif 2171-2171 | SupremeCourt è una sottoclasse di JudicialOrganization |
| (subclass AppealsCourt JudicialOrganization) | Government.kif 2198-2198 | AppealsCourt è una sottoclasse di JudicialOrganization |
| (subclass ConstitutionalCourt JudicialOrganization) | Government.kif 2203-2203 | ConstitutionalCourt è una sottoclasse di JudicialOrganization |
|
|