No TPTP formula. May not be expressible in strict first order. |
naics.kif 9815-9815 |
商业航空铁路和水上运输设备租赁和租赁 是 建筑运输采矿和林业机械设备租赁和租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9824-9824 |
建筑采矿和林业机械设备租赁和租赁 是 建筑运输采矿和林业机械设备租赁和租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16818-16818 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16817-16817 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16816-16816 |
|