No TPTP formula. May not be expressible in strict first order. | Government.kif 2288-2293 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2295-2302 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2214-2214 | 政治党派 是 政治机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2208-2208 | 政治联盟 是 政治党派 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2224-2224 | 共产党 是 政治党派 的 subclass |