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 1984-1985 | |
(subclass Compressing Motion) | Cars.kif 1982-1982 | Compressing ist eine teilkategorie von Motion |
appearance as argument number 2 |
(subclass Crushing Compressing) | Food.kif 962-962 | Crushing ist eine teilkategorie von Compressing |
(termFormat EnglishLanguage Compressing "compressing") | Cars.kif 1983-1983 |
antecedent |
consequent |
(=> (instance ?C Crushing) (exists (?I ?C ?O) (and (instance ?I Impacting) (subProcess ?C ?I) (instance ?C Compressing) (patient ?I ?O) (patient ?C ?O) (instance ?O Object)))) |
Food.kif 969-978 |
|
(=> (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 609-618 |
|
(=> (instance ?GC GasCompressor) (hasPurpose ?GC (exists (?C ?G) (and (instance ?C Compressing) (attribute ?G Gas) (patient ?C ?G) (instrument ?C ?GC))))) |
Cars.kif 5174-5182 |
|
(=> (instance ?PB PressureBandage) (hasPurpose ?PB (exists (?C) (and (instance ?C Compressing) (instrument ?C ?PB))))) |
Medicine.kif 6024-6030 |
|
(=> (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 2023-2043 |
|
(=> (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 3562-3572 |
|