No TPTP formula. May not be expressible in strict first order. | Merge.kif 12612-12612 | 表面变化 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3310-3310 | 追踪 是 表面变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3333-3333 | 画画 是 表面变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18008-18008 | 挖掘 是 表面变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18022-18022 | 翻耕 是 表面变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18095-18095 | 钻孔 是 表面变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25215-25215 | Smoothing 是 表面变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25231-25231 | Roughening 是 表面变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12631-12631 | 染色 是 表面变化 的 subclass |