No TPTP formula. May not be expressible in strict first order. |
Government.kif 316-316 |
宪政民主 是 宪政 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 317-317 |
君主立宪制 是 宪政 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 319-319 |
立宪共和国 是 宪政 的 subAttribute |
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 |
|