| 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 | Organization is a subclass of group |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16632-16632 | Organization is a subclass of agent |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2611-2611 | Cross-functional team is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2781-2781 | Customer support is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3095-3095 | Transportation authority is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3265-3265 | Ship crew is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 966-966 | Marching band is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 942-942 | Club is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7018-7018 | Sports league is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7577-7577 | Communication organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7593-7593 | Media organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7606-7606 | Nonprofit organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7623-7623 | Care organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8436-8436 | Commission is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8449-8449 | Service organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8507-8507 | Organizational board is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8520-8520 | Security unit is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8537-8537 | Union organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16202-16202 | Business is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16667-16667 | Political organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16700-16700 | Government organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16746-16746 | Judicial organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16753-16753 | Educational organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16758-16758 | Religious organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1707-1707 | Copyright authority is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1741-1741 | Front desk is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1924-1924 | Legislative organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2510-2510 | International organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2754-2754 | Metallurgical plant is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 17-17 | Financial organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1754-1754 | Stock market is a subclass of organization |
|
|