| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16725-16725 | Gouvernement est une sous-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16728-16728 | Gouvernement est une sous-classe de LegalAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8321-8321 | StateGovernment est une sous-classe de gouvernement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8329-8329 | CityGovernment est une sous-classe de gouvernement |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 103-103 | NationalGovernment est une sous-classe de gouvernement |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1550-1550 | FederalHousingAdministration est une sous-classe de gouvernement |
|
|