| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2450-2450 | 子類 洗滌設備 and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2177-2177 | 子類 Bidet and 洗滌設備 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8867-8867 | 子類 洗澡裝置 and 洗滌設備 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8882-8882 | 子類 洗手盆 and 洗滌設備 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25377-25377 | 子類 洗衣機 and 洗滌設備 |
|
|