No TPTP formula. May not be expressible in strict first order. |
naics.kif 1876-1876 |
瓶装水制造 是 软饮料和制冰 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1883-1883 |
制冰 是 软饮料和制冰 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1869-1869 |
软饮料制造 是 软饮料和制冰 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53704-53704 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53703-53703 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53702-53702 |
|