MilletFarming - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9428-9428
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8597-8597
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9426-9426
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9427-9427
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9429-9429
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6189-6189	Millet grain is an industry product type of millet farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6186-6186	Millet farming is an instance of industry attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6187-6187	Millet farming is a subattribute of cereal grain farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6188-6188	Millet farming is a subattribute of other grain farming

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37787-37787
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37786-37786
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37785-37785