No TPTP formula. May not be expressible in strict first order. |
Food.kif 2408-2408 |
子類 Calamari and CookedDish |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2700-2700 |
子類 Omelette and CookedDish |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1580-1580 |
子類 三明治 and CookedDish |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1645-1645 |
子類 Soup and CookedDish |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1578-1578 |
|