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 2319-2319 | 党的平台 是 事实文本 的 subclass |