FertilizerIndustry - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8483-8483
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9206-9206
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1737-1737	例化肥行業 and 行業屬性

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1738-1738	子屬性化肥生產 and 化肥行業
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1739-1739	子屬性化肥礦產開採 and 化肥行業
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23546-23546
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23545-23545
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23544-23544