| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16703-16703 | Governo e' uma sub-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16706-16706 | Governo e' uma sub-classe de LegalAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8322-8322 | StateGovernment e' uma sub-classe de Governo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8330-8330 | CityGovernment e' uma sub-classe de Governo |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 103-103 | NationalGovernment e' uma sub-classe de Governo |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1550-1550 | FederalHousingAdministration e' uma sub-classe de Governo |
|
|