No TPTP formula. May not be expressible in strict first order. |
naics.kif 6469-6469 |
砖石及相关建筑材料批发商 是 木材和其他建筑材料批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6462-6462 |
木材胶合板木制品和木板批发商 是 木材和其他建筑材料批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6484-6484 |
其他建筑材料批发商 是 木材和其他建筑材料批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6477-6477 |
屋面壁板和保温材料批发商 是 木材和其他建筑材料批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35291-35291 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35290-35290 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35289-35289 |
|