GoatFarming - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 436-438
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8506-8506
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9267-9267
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9268-9268
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9269-9269
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9270-9270
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9271-9271
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6205-6205	Goat is an industry product type of goat farming
No TPTP formula. May not be expressible in strict first order.	naics.kif 434-434	Goat farming is a subattribute of sheep and goat farming

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26178-26178
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26177-26177
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26176-26176