No TPTP formula. May not be expressible in strict first order. |
Government.kif 367-367 |
EmergingDemocracy e' um sub-atributo de TransitionalGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 368-368 |
Factionalism e' um sub-atributo de TransitionalGovernment |
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 |
|