HayFarming - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 304-306
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8517-8517
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9283-9283
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9284-9284
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9285-9285
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9286-9286
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9287-9287
No TPTP formula. May not be expressible in strict first order.	naics.kif 302-302	Hay farming is a subattribute of other crop farming

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27648-27648
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27647-27647
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27646-27646