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	谷物是谷物种植的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6154-6154	谷物种植是行业属性的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6155-6155	谷物种植是油籽和粮食种植的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6172-6172	大麦种植是谷物种植的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6159-6159	玉米种植是谷物种植的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6187-6187	小米种植是谷物种植的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6167-6167	燕麦种植是谷物种植的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6160-6160	水稻种植是谷物种植的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6177-6177	黑麦种植是谷物种植的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6182-6182	高粱种植是谷物种植的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6161-6161	小麦种植是谷物种植的 subAttribute
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