No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2342-2342 | 子類 鍋或杅 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 871-871 | 子類 FrenchPressPot and 鍋或杅 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 907-907 | 子類 Aeropress and 鍋或杅 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 940-940 | 子類 MokaPot and 鍋或杅 |