HogAndPigFarming - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 381-383
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10053-10053
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11168-11168
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11169-11169
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11167-11167
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11170-11170
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11171-11171
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6206-6206	猪肉是生猪和养猪的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	naics.kif 379-379	生猪和养猪是动物生产的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28329-28329
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28328-28328
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28327-28327