TreeView Knowledge Base Browser - VegetableAndMelonFarming

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 145-147
No TPTP formula. May not be expressible in strict first order.	naics.kif 143-143	蔬菜和甜瓜种植是作物生产的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 155-155	除马铃薯和甜瓜种植外的其他蔬菜是蔬菜和甜瓜种植的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 149-149	马铃薯种植是蔬菜和甜瓜种植的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6196-6196	蔬菜种植是蔬菜和甜瓜种植的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61310-61310
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61309-61309
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61308-61308