|
|
  Monarchy
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 197-197 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 249-249 | 相反的屬性 帝制 and 聯邦 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 248-248 | 相反的屬性 帝制 and 共和國 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 195-196 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 194-194 | 例 帝制 and 政體 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 240-240 | 子屬性 絕對君主制 and 帝制 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 238-238 | 子屬性 酋邦 and 帝制 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 239-239 | 子屬性 君主立憲制 and 帝制 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38319-38319 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38318-38318 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38317-38317 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 223-234 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1363-1369 |
|
|
|
|