No TPTP formula. May not be expressible in strict first order. |
Government.kif 248-248 |
Monarchy e' &o oposto de Republic |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 292-292 |
ConstitutionalDemocraticRepublic e' um sub-atributo de Republic |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 291-291 |
ConstitutionalRepublic e' um sub-atributo de Republic |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 296-296 |
FederalDemocraticRepublic e' um sub-atributo de Republic |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 293-293 |
FederalRepublic e' um sub-atributo de Republic |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 295-295 |
ParliamentaryDemocraticRepublic e' um sub-atributo de Republic |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 294-294 |
ParliamentaryRepublic e' um sub-atributo de Republic |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49558-49558 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49557-49557 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49556-49556 |
|