PotatoFarming - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 151-153
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8662-8662
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9560-9560
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9561-9561
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9562-9562
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9563-9563
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6207-6207	Potato tuber is an industry product type of potato farming
No TPTP formula. May not be expressible in strict first order.	naics.kif 149-149	Potato farming is a subattribute of vegetable and melon farming

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46880-46880
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46879-46879
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46878-46878