| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12592-12592 | 内部变化 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 153-153 | 电脑程序 是 内部变化 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1065-1065 | 关掉设备 是 内部变化 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1089-1089 | 打开设备 是 内部变化 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10132-10132 | 生物过程 是 内部变化 的 subclass |
| 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. | Merge.kif 11190-11190 | 地质过程 是 内部变化 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12270-12270 | 损坏 是 内部变化 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12503-12503 | 化学过程 是 内部变化 的 subclass |
| 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. | Merge.kif 12652-12652 | 形状变化 是 内部变化 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12784-12784 | 创作 是 内部变化 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13752-13752 | 状态改变 是 内部变化 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4952-4952 | 潮汐过程 是 内部变化 的 subclass |
|
|