No TPTP formula. May not be expressible in strict first order. |
naics.kif 1569-1569 |
干燥和脱水食品制造 是 水果和蔬菜罐头酸洗和干燥 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1556-1556 |
水果和蔬菜罐头 是 水果和蔬菜罐头酸洗和干燥 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1563-1563 |
特产罐头 是 水果和蔬菜罐头酸洗和干燥 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25136-25136 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25135-25135 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25134-25134 |
|