| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15055-15055 | Business is a subclass of commercial agent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15056-15056 | Business is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6752-6752 | Agency is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6762-6762 | Entertainment company is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6775-6775 | Financial company is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6807-6807 | Insurance company is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6817-6817 | Transportation company is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6855-6855 | Partnership is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6922-6922 | Restaurant is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6951-6951 | Proprietorship is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15064-15064 | Corporation is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1687-1687 | FuneralArranger is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1692-1692 | Crematorium is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 65-65 | Bakery is a subclass of Business |
|
|