| TheocraticGovernment(神權政府) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 338-339 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 186-186 | 例 神權政府 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 330-330 | 子屬性 神權政府 and 威權政權 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 342-342 | 子屬性 教會政府 and 神權政府 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 343-343 | 子屬性 伊斯蘭政府 and 神權政府 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 341-341 | 子屬性 神權共和國 and 神權政府 |
| 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 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 352-357 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 345-350 |
|
|
|
|