| Monarchy(monarchy) | | 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 | Monarchy is the opposite of federation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 248-248 | Monarchy is the opposite of republic |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 195-196 | Monarchy is the opposite of republic |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 194-194 | Monarchy is an instance of form of government |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 240-240 | Absolute monarchy is a subattribute of monarchy |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 238-238 | Chiefdom is a subattribute of monarchy |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 239-239 | Constitutional monarchy is a subattribute of monarchy |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38330-38330 | Constitutional monarchy is a subattribute of monarchy |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38329-38329 | Constitutional monarchy is a subattribute of monarchy |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38328-38328 | Constitutional monarchy is a subattribute of monarchy |
| 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 1325-1331 |
|
|
|
|