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 | 帝制 是 联邦 的相反 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 248-248 | 帝制 是 共和国 的相反 |
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 | 帝制 是 政体 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 240-240 | 绝对君主制 是 帝制 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Government.kif 238-238 | 酋邦 是 帝制 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Government.kif 239-239 | 君主立宪制 是 帝制 的 subAttribute |
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 |