TreeView Knowledge Base Browser - CerealGrainFarming

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6156-6156	industryProductType CerealGrainFarming and CerealGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6154-6154	CerealGrainFarming est une instance de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6155-6155	CerealGrainFarming est un sous-attribut de OilseedAndGrainFarming

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6172-6172	BarleyFarming est un sous-attribut de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6159-6159	CornFarming est un sous-attribut de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6187-6187	MilletFarming est un sous-attribut de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6167-6167	OatFarming est un sous-attribut de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6160-6160	RiceFarming est un sous-attribut de CerealGrainFarming
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 6182-6182	SorghumFarming est un sous-attribut de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6161-6161	WheatFarming est un sous-attribut de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13944-13944
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13943-13943
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13942-13942