No TPTP formula. May not be expressible in strict first order. | Merge.kif 16201-16201 | 子類 Business and 商業代理人 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16202-16202 | 子類 Business and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7102-7102 | 子類 機構 and Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7112-7112 | 子類 娛樂公司 and Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7125-7125 | 子類 金融公司 and Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7145-7145 | 子類 保險公司 and Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7173-7173 | 子類 運輸公司 and Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7211-7211 | 子類 合夥 and Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7275-7275 | 子類 餐廳 and Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7303-7303 | 子類 所有權 and Business |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16210-16210 | 子類 Corporation and Business |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1697-1697 | 子類 FuneralArranger and Business |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1702-1702 | 子類 Crematorium and Business |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 65-65 | 子類 Bakery and Business |