| 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 e' &o oposto de Federation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 248-248 | Monarchy e' &o oposto de Republic |
| 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 | Monarchy e' uma instancia de FormOfGovernment |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 240-240 | AbsoluteMonarchy e' um sub-atributo de Monarchy |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 238-238 | Chiefdom e' um sub-atributo de Monarchy |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 239-239 | ConstitutionalMonarchy e' um sub-atributo de Monarchy |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38321-38321 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38320-38320 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38319-38319 |
| 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 1327-1333 |
|
|
|
|