No TPTP formula. May not be expressible in strict first order. |
Government.kif 4866-4866 |
Democratic party is an instance of political party |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2276-2276 |
Nazi party is an instance of political party |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4871-4871 |
Republican party is an instance 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 |
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. |
domainEnglishFormat.kif 46507-46507 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46506-46506 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46505-46505 |
|