No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20499-20499 | 工作的 是 金融交易 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20503-20503 | 农业 是 工作的 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20520-20520 | 服务 是 工作的 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20524-20524 | 销售 是 工作的 的 subclass |