TurkeyMeat - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8770-8770
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9784-9784
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9783-9783
No TPTP formula. May not be expressible in strict first order.	Food.kif 2047-2047	meatOfAnimal TurkeyMeat and TurkeyBird
No TPTP formula. May not be expressible in strict first order.	Food.kif 2045-2045	TurkeyMeat est une sous-classe de PoultryMeat

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59542-59542
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59541-59541
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59540-59540
No TPTP formula. May not be expressible in strict first order.	Food.kif 2046-2046