RyeFarming - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8691-8691
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9614-9614
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9615-9615
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9616-9616
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6179-6179	industryProductType RyeFarming and RyeGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6176-6176	RyeFarming est une instance de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6177-6177	RyeFarming est un sous-attribut de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6178-6178	RyeFarming est un sous-attribut de OtherGrainFarming

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50709-50709
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50708-50708
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50707-50707