No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2276-2276 | 子類 烹飪烤箱 and 主要電器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2317-2317 | 子類 烹飪烤箱 and 加熱裝置 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2318-2318 | 子類 烹飪烤箱 and 容器 |
![]() |