No TPTP formula. May not be expressible in strict first order. |
naics.kif 1920-1920 |
烟草制品制造业 是 烟草制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1913-1913 |
烟草干燥和再干燥 是 烟草制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58252-58252 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58251-58251 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58250-58250 |
|