No TPTP formula. May not be expressible in strict first order. |
Government.kif 367-367 |
EmergingDemocracy est un sous-attribut de TransitionalGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 368-368 |
Factionalism est un sous-attribut de TransitionalGovernment |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58870-58870 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58869-58869 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58868-58868 |
|