No TPTP formula. May not be expressible in strict first order. | Merge.kif 11894-11894 | 商业服务 是 金融交易 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11897-11897 | 商业服务 是 服务 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7187-7187 | 金融服务 是 商业服务 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7700-7700 | 商业运输 是 商业服务 的 subclass |
![]() |