No TPTP formula. May not be expressible in strict first order. |
naics.kif 9807-9807 |
建筑运输采矿和林业机械设备租赁和租赁 是 商业和工业机械设备租赁和租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9833-9833 |
办公机械设备租赁和租赁 是 商业和工业机械设备租赁和租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9840-9840 |
其他商业和工业机械设备租赁和承租 是 商业和工业机械设备租赁和租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15786-15786 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15785-15785 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15784-15784 |
|