| No TPTP formula. May not be expressible in strict first order. | Government.kif 2324-2329 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1692-1698 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16626-16626 | Organizacao e' uma sub-classe de Grupo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16632-16632 | Organizacao e' uma sub-classe de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2611-2611 | CrossFunctionalTeam e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2781-2781 | CustomerSupport e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3095-3095 | TransportationAuthority e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3265-3265 | ShipCrew e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 966-966 | MarchingBand e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 942-942 | Club e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7018-7018 | SportsLeague e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7577-7577 | CommunicationOrganization e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7593-7593 | MediaOrganization e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7606-7606 | NonprofitOrganization e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7623-7623 | CareOrganization e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8436-8436 | Commission e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8449-8449 | ServiceOrganization e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8507-8507 | OrganizationalBoard e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8520-8520 | SecurityUnit e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8537-8537 | UnionOrganization e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16202-16202 | Business e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16667-16667 | Organizacao Politica e' uma sub-classe de Organizacao |
| 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. | Merge.kif 16746-16746 | JudicialOrganization e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16753-16753 | Organizacao Educacional e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16758-16758 | Organizacao Religiosa e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1707-1707 | CopyrightAuthority e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1741-1741 | HotelFrontDesk e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1924-1924 | LegislativeOrganization e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2510-2510 | InternationalOrganization e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2754-2754 | MetallurgicalPlant e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 17-17 | FinancialOrganization e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1754-1754 | StockMarket e' uma sub-classe de Organizacao |
|
|