No TPTP formula. May not be expressible in strict first order. | Merge.kif 10894-10894 | 子類 QuantityChange and InternalChange |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3343-3343 | 子類 調焦 and QuantityChange |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10915-10915 | 子類 Increasing and QuantityChange |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10957-10957 | 子類 Decreasing and QuantityChange |