No TPTP formula. May not be expressible in strict first order. |
Government.kif 367-367 |
Emerging democracy is a subattribute of transitional government |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 368-368 |
Factionalism is a subattribute of transitional government |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58868-58868 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58867-58867 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58866-58866 |
|