No TPTP formula. May not be expressible in strict first order. |
naics.kif 1889-1889 |
子屬性 啤酒廠 and 飲料製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1901-1901 |
子屬性 釀酒廠 and 飲料製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1863-1863 |
子屬性 軟飲料和製冰 and 飲料製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1895-1895 |
子屬性 酒廠 and 飲料製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10919-10919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10918-10918 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10917-10917 |
|