No TPTP formula. May not be expressible in strict first order. | Merge.kif 16746-16746 | JudicialOrganization e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2161-2161 | IslamicLawCourt e' uma sub-classe de JudicialOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2171-2171 | SupremeCourt e' uma sub-classe de JudicialOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2198-2198 | AppealsCourt e' uma sub-classe de JudicialOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2203-2203 | ConstitutionalCourt e' uma sub-classe de JudicialOrganization |