No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2305-2305 | 子類 加熱裝置 and Device |
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 2330-2330 | 子類 火爐 and 加熱裝置 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25176-25176 | 子類 FabricIron and 加熱裝置 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25648-25648 | 子類 WaterHeater and 加熱裝置 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26827-26827 | 子類 RoomHeater and 加熱裝置 |