No TPTP formula. May not be expressible in strict first order. |
Government.kif 342-342 |
教会政府 是 神权政府 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 343-343 |
伊斯兰政府 是 神权政府 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 341-341 |
神权共和国 是 神权政府 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57842-57842 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57841-57841 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57840-57840 |
|