No TPTP formula. May not be expressible in strict first order. | Government.kif 2324-2329 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2331-2338 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2250-2250 | 政治党派 是 政治机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2244-2244 | 政治联盟 是 政治党派 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2260-2260 | 共产党 是 政治党派 的 subclass |
![]() |