Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   QuantityChange
|
|
|
| appearance as argument number 1 |
|
|
| (subclass QuantityChange InternalChange) | Merge.kif 11124-11124 | Quantity change is a subclass of internal change |
| (partition QuantityChange Increasing Decreasing) | Merge.kif 11125-11125 | 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 11127-11128 | 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 11130-11143 | 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.0))) |
emotion.kif 746-758 | 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.0 |
|