No TPTP formula. May not be expressible in strict first order. |
naics.kif 1876-1876 |
子屬性 瓶裝水製造 and 軟飲料和製冰 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1883-1883 |
子屬性 製冰 and 軟飲料和製冰 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1869-1869 |
子屬性 軟飲料製造 and 軟飲料和製冰 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53702-53702 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53701-53701 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53700-53700 |
|