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 | Political party is a subclass of political organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2244-2244 | Political coalition is a subclass of political party |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2260-2260 | Communist party is a subclass of political party |