No TPTP formula. May not be expressible in strict first order. | Merge.kif 10872-10872 | 量变 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3343-3343 | 调焦 是 量变 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10893-10893 | 增加 是 量变 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10935-10935 | 减少 是 量变 的 subclass |