No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5573-5573 | 子類 洗滌 and Removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5574-5574 | 子類 洗滌 and 清潔的 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8858-8858 | 子類 洗澡 and 洗滌 |