| (subclass Government GovernmentOrganization) | Merge.kif 16703-16703 | |
| (subclass Government LegalAgent) | Merge.kif 16706-16706 | |
| (subclass StateGovernment Government) | Mid-level-ontology.kif 8322-8322 | |
| (subclass CityGovernment Government) | Mid-level-ontology.kif 8330-8330 | |
| (subclass NationalGovernment Government) | Government.kif 103-103 | |
| (subclass FederalHousingAdministration Government) | FinancialOntology.kif 1550-1550 |
|
|