WheatFarming - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 107-109
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8802-8802
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9827-9827
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9828-9828
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9829-9829
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9830-9830
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9831-9831
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6163-6163	小麥籽粒是小麥種植的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6161-6161	子屬性小麥種植 and 穀物種植
No TPTP formula. May not be expressible in strict first order.	naics.kif 105-105	子屬性小麥種植 and 油籽和糧食種植

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62967-62967
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62966-62966
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62965-62965