No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2282-2282 | 子類 冷卻裝置 and Device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2293-2293 | 子類 風扇裝置 and 冷卻裝置 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2342-2342 | 子類 冰箱 and 冷卻裝置 |
![]() |