FederalGovernment(federal government) | federal_government |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 285-285 | Federal government is the opposite of authoritarian regime |
No TPTP formula. May not be expressible in strict first order. | Government.kif 284-284 | Federal government is the opposite of unitary rule |
No TPTP formula. May not be expressible in strict first order. | Government.kif 271-277 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 172-172 | Federal government 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 280-280 | Federal democratic republic is a subattribute of federal government |
No TPTP formula. May not be expressible in strict first order. | Government.kif 281-281 | Federal parliamentary democracy is a subattribute of federal government |
No TPTP formula. May not be expressible in strict first order. | Government.kif 279-279 | Federal republic is a subattribute of federal government |
No TPTP formula. May not be expressible in strict first order. | Government.kif 282-282 | Federation is a subattribute of federal government |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23446-23446 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23445-23445 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23444-23444 |