No TPTP formula. May not be expressible in strict first order. |
Government.kif 316-316 |
ConstitutionalDemocracy est un sous-attribut de ConstitutionalGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 317-317 |
ConstitutionalMonarchy est un sous-attribut de ConstitutionalGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 319-319 |
ConstitutionalRepublic est un sous-attribut de ConstitutionalGovernment |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16746-16746 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16745-16745 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16744-16744 |
|