No TPTP formula. May not be expressible in strict first order. |
Government.kif 316-316 |
ConstitutionalDemocracy e' um sub-atributo de ConstitutionalGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 317-317 |
ConstitutionalMonarchy e' um sub-atributo de ConstitutionalGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 319-319 |
ConstitutionalRepublic e' um sub-atributo 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 |
|