No TPTP formula. May not be expressible in strict first order. | Merge.kif 10872-10872 | Quantity change is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3343-3343 | Focusing is a subclass of quantity change |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10893-10893 | Increasing is a subclass of quantity change |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10935-10935 | Decreasing is a subclass of quantity change |