CottonFarming - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 292-294
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8441-8441
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9128-9128
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9124-9124
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9125-9125
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9126-9126
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6209-6209	棉是棉花種植的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	naics.kif 290-290	子屬性棉花種植 and 其他農作物種植

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17502-17502
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17501-17501
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17500-17500