| 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 16604-16604 | Organization is a subclass of group |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16610-16610 | 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 7019-7019 | Sports league is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7578-7578 | Communication organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7594-7594 | Media organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7607-7607 | Nonprofit organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7624-7624 | Care organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8437-8437 | Commission is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8450-8450 | Service organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8508-8508 | Organizational board is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8521-8521 | Security unit is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8538-8538 | Union organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16180-16180 | Business is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16645-16645 | Political organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16678-16678 | Government organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16724-16724 | Judicial organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16731-16731 | Educational organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16736-16736 | 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 |
|
|