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 |
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 1578-1578 |
|