No TPTP formula. May not be expressible in strict first order. |
Government.kif 285-285 |
联邦政府 是 威权政权 的相反 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 327-327 |
绝对君主制 是 威权政权 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 329-329 |
专制的社会主义者 是 威权政权 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 328-328 |
共产主义国家 是 威权政权 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 325-325 |
专政 是 威权政权 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 330-330 |
神权政府 是 威权政权 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9144-9144 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9143-9143 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9142-9142 |
|