| TurkeyMeat(turkey meat)
| | turkey, turkey_drumstick, turkey_leg, turkey_wing |
| 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 | Turkey meat is the meat of turkey bird |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2045-2045 | Turkey meat is a subclass of poultry |
| appearance as argument number 2 |
|
|
| 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. | domainEnglishFormat.kif 59539-59539 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59538-59538 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2046-2046 |
|
|
|