No TPTP formula. May not be expressible in strict first order. |
naics.kif 9694-9694 |
汽车设备租赁和租赁 是 租赁和出租服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9799-9799 |
商业和工业机械设备租赁和租赁 是 租赁和出租服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9736-9736 |
消费品租赁 是 租赁和出租服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9793-9793 |
一般租赁中心 是 租赁和出租服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49484-49484 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49483-49483 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49482-49482 |
|