No TPTP formula. May not be expressible in strict first order. |
naics.kif 1857-1857 |
子屬性 飲料製造業 and 飲料和煙草製品製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1907-1907 |
子屬性 煙草製造業 and 飲料和煙草製品製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10913-10913 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10912-10912 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10911-10911 |
|