No TPTP formula. May not be expressible in strict first order. | Merge.kif 12652-12652 | 形状变化 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3165-3165 | 折页 是 形状变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 963-963 | Crushing 是 形状变化 的 subclass |