No TPTP formula. May not be expressible in strict first order. | Food.kif 1575-1575 | CookedDish est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1580-1580 | Sandwich est une sous-classe de CookedDish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1645-1645 | Soup est une sous-classe de CookedDish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2408-2408 | Calamari est une sous-classe de CookedDish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2700-2700 | Omelette est une sous-classe de CookedDish |
![]() |