| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16724-16724 | 司法组织 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2161-2161 | 伊斯兰法院 是 司法组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2171-2171 | 最高法院 是 司法组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2198-2198 | 上诉法院 是 司法组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2203-2203 | 立宪法院 是 司法组织 的 subclass |
|
|