PoultryMeat(poultry) | Rock_Cornish_hen, breast, dove, drumstick, giblet, giblets, grouse, guinea_hen, oyster, parson's_nose, partridge, pheasant, pope's_nose, second_joint, squab, thigh, white_meat, wildfowl, wing |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2029-2030 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2033-2033 | Poultry is the meat of bird |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2028-2028 | Poultry is a subclass of meat |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2037-2037 | Duck is a subclass of poultry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2041-2041 | Goose is a subclass of poultry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2052-2052 | Quail is a subclass of poultry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2045-2045 | Turkey meat is a subclass of poultry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2031-2031 |