FruitFarming - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9243-9243
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8495-8495
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6193-6193	水果是水果种植的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6191-6191	水果种植是行业属性的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6192-6192	水果种植是水果和树坚果种植的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25154-25154
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25153-25153
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25152-25152