| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16700-16700 | GovernmentOrganization e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8341-8341 | CoastGuard e' uma sub-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8488-8488 | PublicLibrary e' uma sub-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16658-16658 | PublicSchool e' uma sub-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16689-16689 | MilitaryOrganization e' uma sub-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16725-16725 | Governo e' uma sub-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16742-16742 | PoliceOrganization e' uma sub-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3116-3116 | HealthDepartment e' uma sub-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1507-1507 | GovernmentCabinet e' uma sub-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4696-4696 | DiplomaticOrganization e' uma sub-classe de GovernmentOrganization |
|
|