PeanutFarming - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 322-324
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8647-8647
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9540-9540
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9541-9541
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9543-9543
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6202-6202	花生是花生种植的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	naics.kif 320-320	花生种植是所有其他农作物的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44934-44934
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44933-44933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44932-44932