No TPTP formula. May not be expressible in strict first order. | Food.kif 1575-1575 | Cooked dish is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1580-1580 | Sandwich is a subclass of cooked dish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1645-1645 | Soup is a subclass of cooked dish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2408-2408 | Calamari is a subclass of cooked dish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2700-2700 | Omelette is a subclass of cooked dish |