SorghumFarming - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8724-8724
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6184-6184	高粱粒是高粱种植的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6181-6181	高粱种植是行业属性的 instance
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 6183-6183	高粱种植是其他粮食种植的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53982-53982
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53981-53981
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53980-53980