TreeView Knowledge Base Browser - FarmProductRawMaterialWholesalers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 6882-6884
No TPTP formula. May not be expressible in strict first order.	naics.kif 6880-6880	农产品原料批发商是批发贸易非耐用品的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 6886-6886	粮食和田间豆批发商是农产品原料批发商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 6893-6893	牲畜批发商是农产品原料批发商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 6899-6899	其他农产品原料批发商是农产品原料批发商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23326-23326
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23325-23325
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23324-23324