No TPTP formula. May not be expressible in strict first order. | Merge.kif 16724-16724 | Judicial organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2161-2161 | Islamic law court is a subclass of judicial organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2171-2171 | Supreme court is a subclass of judicial organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2198-2198 | Appeals court is a subclass of judicial organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2203-2203 | Constitutional court is a subclass of judicial organization |