| Compressing(compressing) | | astringe, compact, compress, compressing, compression, constrict, constriction, contract, press, squeeze |
| appearance as argument number 1 |
|
|
| (subclass Compressing Motion) | Cars.kif 1966-1966 | Compressing is a subclass of motion |
| (documentation Compressing EnglishLanguage "Forcing some SelfConnectedObject into a smaller space than at the beginning of the action.") | Cars.kif 1968-1969 | Compressing is a subclass of motion |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Compressing "compressing") | Cars.kif 1967-1967 | |
| (subclass Crushing Compressing) | Food.kif 963-963 | Crushing is a subclass of compressing |
| antecedent |
|
|
| (=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H HoleRegion) (attribute ?F Fluid) (equal ?AS (HoleHostFn ?H)) (contains ?AS ?F) (patient ?C ?AS)) (exists (?T) (and (instance ?T Transfer) (objectTransferred ?T ?F) (path ?T ?H) (causes ?C ?T)))) |
Cars.kif 871-885 | If All of the following hold: (1) X is an instance of shock (2) Y is an instance of compressing (3) Z is an instance of hole (4) fluid is an attribute of W (5) equal X and the host of the hole Z (6) X contains W (7) X is a patient of Y, then there exists V such that V is an instance of transfer, the object transferred in V is W, Z is path along which V occurs, and Y causes V |
| (=> (and (instance ?SCO SelfConnectedObject) (instance ?C Compressing) (patient ?C ?SCO) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N1 ?V))) (instance ?V UnitOfVolume) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N2 ?V)))) (greaterThan ?N1 ?N2)) |
Cars.kif 1971-1983 | If All of the following hold: (1) X is an instance of self connected object (2) Y is an instance of compressing (3) X is a patient of Y (4) the measure of X is Z W(s) holds during immediately before the time of existence of Y (5) W is an instance of unit of volume (6) the measure of X is V W(s) holds during immediately after the time of existence of Y, then Z is greater than V |
| (=> (and (instance ?CPR CPR) (instance ?C Compressing) (path ?C ?P) (subProcess ?C ?CPR) (length ?P (MeasureFn ?L Centimeter))) (and (greaterThan ?L 5.0) (lessThan ?L 6.0))) |
Medicine.kif 597-607 | If X is an instance of cardio pulmonary resuscitation, Y is an instance of compressing, Z is path along which Y occurs, Y is a subprocess of X, and the length of Z is W centimeter(s), then W is greater than 5.0 and W is less than 6.0 |
| consequent |
|
|
| (=> (instance ?X Paper) (exists (?MAKE ?CELL ?PRESS) (and (instance ?MAKE Making) (instance ?CELL Cellulose) (instance ?PRESS Compressing) (resource ?MAKE ?CELL) (result ?MAKE ?X) (subProcess ?MAKE ?PRESS) (patient ?PRESS ?CELL)))) |
Mid-level-ontology.kif 4022-4032 | If X is an instance of paper, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) Z is an instance of cellulose (4) W is an instance of compressing (5) Z is a resource for Y (6) X is a result of Y (7) Y is a subprocess of W (8) Z is a patient of W |
| (=> (instance ?VCC VaporCompressionCycle) (exists (?CMP ?COND ?EV ?CMP2) (and (instance ?CMP Compressing) (instance ?COND Condensing) (instance ?EV Evaporating) (instance ?CMP2 Compressing) (subProcess ?CMP ?VCC) (subProcess ?COND ?VCC) (subProcess ?EV ?VCC) (subProcess ?CMP2 ?VCC) (meetsTemporally (WhenFn ?CMP) (WhenFn ?COND)) (meetsTemporally (WhenFn ?COND) (WhenFn ?EV)) (meetsTemporally (WhenFn ?EV) (WhenFn ?CMP2))))) |
Cars.kif 2007-2027 | If X is an instance of vapor compression cycle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of compressing (3) Z is an instance of condensing (4) W is an instance of evaporating (5) V is an instance of compressing (6) Y is a subprocess of X (7) Z is a subprocess of X (8) W is a subprocess of X (9) V is a subprocess of X (10) the time of existence of Y meets the time of existence of Z (11) the time of existence of Z meets the time of existence of W (12) the time of existence of W meets the time of existence of V |
| (=> (instance ?GC GasCompressor) (hasPurpose ?GC (exists (?C ?G) (and (instance ?C Compressing) (attribute ?G Gas) (patient ?C ?G) (instrument ?C ?GC))))) |
Cars.kif 5252-5260 | If X is an instance of compressor, then X has the purpose there exist Y, Z such that Y is an instance of compressing, gas is an attribute of Z, Z is a patient of Y, and X is an instrument for Y |
| (=> (instance ?C Crushing) (exists (?I ?CO ?O) (and (instance ?I Impacting) (subProcess ?C ?I) (instance ?CO Compressing) (patient ?I ?O) (patient ?CO ?O) (instance ?O Object)))) |
Food.kif 970-979 | If X is an instance of crushing, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of impacting (3) X is a subprocess of Y (4) Z is an instance of compressing (5) W is a patient of Y (6) W is a patient of Z (7) W is an instance of object |
| (=> (instance ?CPR CPR) (exists (?C ?CH ?O) (and (instance ?C Compressing) (patient ?CPR ?O) (instance ?CH Chest) (part ?CH ?O) (patient ?C ?CH) (subProcess ?C ?CPR)))) |
Medicine.kif 586-595 | If X is an instance of cardio pulmonary resuscitation, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of compressing (3) W is a patient of X (4) Z is an instance of chest (5) Z is a part of W (6) Z is a patient of Y (7) Y is a subprocess of X |
| (=> (instance ?PB PressureBandage) (hasPurpose ?PB (exists (?C) (and (instance ?C Compressing) (instrument ?C ?PB))))) |
Medicine.kif 6017-6023 | If X is an instance of pressure bandage, then X has the purpose there exists Y such that Y is an instance of compressing and X is an instrument for Y |
|
|
|