Compressing | ![]() |
appearance as argument number 1 |
![]() |
(documentation Compressing EnglishLanguage "Forcing some SelfConnectedObject into a smaller space than at the beginning of the action.") | Cars.kif 1968-1969 | |
(subclass Compressing Motion) | Cars.kif 1966-1966 | Compressing は motion の subclass では |
appearance as argument number 2 |
![]() |
(subclass Crushing Compressing) | Food.kif 963-963 | Crushing は Compressing の subclass では |
(termFormat EnglishLanguage Compressing "compressing") | Cars.kif 1967-1967 | Crushing は Compressing の subclass では |
antecedent |
![]() |
consequent |
![]() |
(=> (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 | |
(=> (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 599-608 | |
(=> (instance ?GC GasCompressor) (hasPurpose ?GC (exists (?C ?G) (and (instance ?C Compressing) (attribute ?G Gas) (patient ?C ?G) (instrument ?C ?GC))))) |
Cars.kif 5235-5243 | |
(=> (instance ?PB PressureBandage) (hasPurpose ?PB (exists (?C) (and (instance ?C Compressing) (instrument ?C ?PB))))) |
Medicine.kif 6041-6047 |
|
(=> (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 |
|
(=> (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 4005-4015 |
![]() |
![]() |