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 e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6155-6155	CerealGrainFarming e' um sub-atributo de OilseedAndGrainFarming

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6172-6172	BarleyFarming e' um sub-atributo de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6159-6159	CornFarming e' um sub-atributo de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6187-6187	MilletFarming e' um sub-atributo de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6167-6167	OatFarming e' um sub-atributo de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6160-6160	RiceFarming e' um sub-atributo de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6177-6177	RyeFarming e' um sub-atributo de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6182-6182	SorghumFarming e' um sub-atributo de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6161-6161	WheatFarming e' um sub-atributo 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