No TPTP formula. May not be expressible in strict first order. |
naics.kif 7260-7260 |
建筑材料和用品经销商 是 建筑材料和园艺设备及用品经销商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7293-7293 |
草坪和园艺设备和用品商店 是 建筑材料和园艺设备及用品经销商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12263-12263 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12262-12262 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12261-12261 |
|