No TPTP formula. May not be expressible in strict first order. |
naics.kif 1889-1889 |
啤酒厂 是 饮料制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1901-1901 |
酿酒厂 是 饮料制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1863-1863 |
软饮料和制冰 是 饮料制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1895-1895 |
酒厂 是 饮料制造业 的 subAttribute |
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 |
|