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	例高粱種植 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6182-6182	子屬性高粱種植 and 穀物種植
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6183-6183	子屬性高粱種植 and 其他糧食種植

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