RiceFarming - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 119-121
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8687-8687
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9602-9602
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9603-9603
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9604-9604
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9605-9605
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9606-9606
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9607-9607
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6164-6164	Rice grain is an industry product type of rice farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6160-6160	Rice farming is a subattribute of cereal grain farming
No TPTP formula. May not be expressible in strict first order.	naics.kif 117-117	Rice farming is a subattribute of oilseed and grain farming

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49928-49928
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49927-49927
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49926-49926