No TPTP formula. May not be expressible in strict first order. | Merge.kif 10894-10894 | 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 10915-10915 | Increasing is a subclass of quantity change |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10957-10957 | Decreasing is a subclass of quantity change |
![]() |