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 | Party platform is a subclass of factual text |