No TPTP formula. May not be expressible in strict first order. | Food.kif 2028-2028 | Poultry is a subclass of meat |
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 2045-2045 | Turkey meat 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 |