TreeView Knowledge Base Browser - AnimalFoodManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1381-1383
No TPTP formula. May not be expressible in strict first order.	naics.kif 1379-1379	动物食品制造业是食品制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 1385-1385	狗和猫食品制造是动物食品制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 1392-1392	其他动物食品制造业是动物食品制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7584-7584
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7583-7583
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7582-7582