No TPTP formula. May not be expressible in strict first order. |
naics.kif 6646-6646 |
除油井机械设备批发商外的建筑和采矿业 是 机械设备和用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6655-6655 |
农场和园艺机械设备批发商 是 机械设备和用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6663-6663 |
工业机械设备批发商 是 机械设备和用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6670-6670 |
工业用品批发商 是 机械设备和用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6677-6677 |
服务设施和用品批发商 是 机械设备和用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6686-6686 |
除机动车外的运输设备和用品批发商 是 机械设备和用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35519-35519 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35518-35518 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35517-35517 |
|