No TPTP formula. May not be expressible in strict first order. |
naics.kif 1857-1857 |
饮料制造业 是 饮料和烟草制品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1907-1907 |
烟草制造业 是 饮料和烟草制品制造业 的 subAttribute |
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 |
|