| 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 |
|
|
| (subclass QuantityChange InternalChange) | Merge.kif 11030-11030 | Quantity change is a subclass of internal change |
| (partition QuantityChange Increasing Decreasing) | Merge.kif 11031-11031 | Quantity change is exhaustively partitioned into increasing and decreasing |
| (documentation QuantityChange EnglishLanguage "Any InternalChange where a PhysicalQuantity associated with the patient is altered.") | Merge.kif 11033-11034 | Quantity change is exhaustively partitioned into increasing and decreasing |
| 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 11036-11049 | If X is an instance of quantity change and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and equal Z and W |
| (=> (and (instance ?R PupillaryResponse) (patient ?R ?P) (instance ?P BothEyePupils) (subProcess ?C ?R) (instance ?C QuantityChange) (patient ?C ?P) (approximateDiameter ?P (MeasureFn ?X Milimeter))) (and (greaterThanOrEqualTo ?X 1.5) (lessThanOrEqualTo ?X 8))) |
emotion.kif 766-778 | If All of the following hold: (1) X is an instance of pupillary response (2) Y is a patient of X (3) Y is an instance of both eye pupils (4) Z is a subprocess of X (5) Z is an instance of quantity change (6) Y is a patient of Z (7) the approximate diameter of Y is W Milimeter(s), then W is greater than or equal to 1.5 and W is less than or equal to 8 |
|
|
|