| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16179-16179 | Business 是 商业代理人 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16180-16180 | Business 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7103-7103 | 机构 是 Business 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7113-7113 | 娱乐公司 是 Business 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7126-7126 | 金融公司 是 Business 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7146-7146 | 保险公司 是 Business 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7174-7174 | 运输公司 是 Business 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7212-7212 | 合伙 是 Business 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7276-7276 | 餐厅 是 Business 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7304-7304 | 所有权 是 Business 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16188-16188 | 法人财团 是 Business 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1697-1697 | FuneralArranger 是 Business 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1702-1702 | Crematorium 是 Business 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 65-65 | Bakery 是 Business 的 subclass |
|
|