No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5574-5574 | 洗涤 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5575-5575 | 洗涤 是 清洁的 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8859-8859 | 洗澡 是 洗涤 的 subclass |