No TPTP formula. May not be expressible in strict first order. |
naics.kif 1920-1920 |
子屬性 煙草製品製造業 and 煙草製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1913-1913 |
子屬性 煙草乾燥和再乾燥 and 煙草製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58250-58250 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58249-58249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58248-58248 |
|