TreeView Knowledge Base Browser - AllOtherCropFarming

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 310-312
No TPTP formula. May not be expressible in strict first order.	naics.kif 308-308	所有其他农作物是其他农作物种植的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 326-326	所有其他杂项农作物是所有其他农作物的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 320-320	花生种植是所有其他农作物的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 314-314	甜菜种植是所有其他农作物的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6612-6612
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6611-6611
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6610-6610