| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2271-2271 | 主要电器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2273-2273 | 冰箱 是 主要电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2274-2274 | 冰箱 是 主要电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2275-2275 | 火炉 是 主要电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2276-2276 | 烹饪烤箱 是 主要电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2277-2277 | 热水器 是 主要电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2278-2278 | 洗衣机 是 主要电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2279-2279 | 干衣机 是 主要电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2280-2280 | 洗碗机 是 主要电器 的 subclass |
|
|