TreeView Knowledge Base Browser - DairyProductManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1580-1582
No TPTP formula. May not be expressible in strict first order.	naics.kif 1578-1578	乳制品制造业是食品制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 1584-1584	除冷冻生产外的乳制品是乳制品制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 1616-1616	冰淇淋和冷冻甜点制造是乳制品制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18396-18396
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18395-18395
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18394-18394