QuantityChange(quantity change) | ![]() | bit-by-bit, change_intensity, climate_change, cured, direct, global_climate_change, gradational, gradatory, gradient, gradual, graduated, gravity_gradient, hold_the_line, in_small_stages, louden, piecemeal, sharpened, step-by-step, stepwise, temperature_change, temperature_gradient, vulcanised, vulcanized |
appearance as argument number 1 |
![]() |
(documentation QuantityChange ChineseLanguage "这是任何当和 patient 有关的一个 PhysicalQuantity 受到改变时的 InternalChange。") | chinese_format.kif 2981-2982 | |
(documentation QuantityChange EnglishLanguage "Any InternalChange where a PhysicalQuantity associated with the patient is altered.") | Merge.kif 10934-10935 | |
(documentation QuantityChange JapaneseLanguage "InternalChange は、patient に関する PhysicalQuantity が変更される 。") | japanese_format.kif 1741-1742 | |
(partition QuantityChange Increasing Decreasing) | Merge.kif 10932-10932 | Quantity change is exhaustively partitioned into increasing and decreasing |
(subclass QuantityChange InternalChange) | Merge.kif 10931-10931 | Quantity change is a subclass of internal change |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?D QuantityChange) (patient ?D ?OBJ)) (exists (?N1 ?N2 ?T1 ?T2 ?U) (and (earlier ?T1 ?T2) (holdsDuring ?T1 (measure ?OBJ (MeasureFn ?N1 ?U))) (holdsDuring ?T2 (measure ?OBJ (MeasureFn ?N2 ?U))) (not (equal ?N1 ?N2))))) |
Merge.kif 10937-10950 |
|
![]() |
![]() |