Compressing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Compressing

Compressing(compressing)

astringe, compact, compress, compressing, compression, constrict, constriction, contract, press, squeeze

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 is a subclass of motion

appearance as argument number 2

(subclass Crushing Compressing)	Food.kif 963-963	Crushing is a subclass of compressing
(termFormat EnglishLanguage Compressing "compressing")	Cars.kif 1967-1967	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 a self connected object is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and equal the self connected object and the host of the hole the hole and the self connected object contains the object and the self connected object is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
(=> (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 610-620	If a process is an instance of cardio pulmonary resuscitation and a motion is an instance of compressing and an object is path along which the motion occurs and the motion is a subprocess of the process and the length of the object is a real number centimeter(s), then the real number is greater than 5.0 and the real number is less than 6.0
(=> (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 an entity is an instance of self connected object and a process is an instance of compressing and the entity is a patient of the process and the measure of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the other entity is an instance of unit of volume and the measure of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the real number is greater than the other real number

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	If a process is an instance of crushing, then there exist another process, the processO and an entity such that the other process is an instance of impacting and the process is a subprocess of the other process and the processO is an instance of compressing and the entity is a patient of the other process and the entity is a patient of the processO and the entity 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 599-608	If a process is an instance of cardio pulmonary resuscitation, then there exist another process, the other processH and another object such that the other process is an instance of compressing and the other object is a patient of the process and the other processH is an instance of chest and the other processH is a part of the other object and the other processH is a patient of the other process and the other process is a subprocess of the process
(=> (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	If a physical is an instance of compressor, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of compressing and gas is an attribute of the other entity and the other entity is a patient of the entity and the physical is an instrument for the entity
(=> (instance ?PB PressureBandage) (hasPurpose ?PB (exists (?C) (and (instance ?C Compressing) (instrument ?C ?PB)))))	Medicine.kif 6042-6048	If a physical is an instance of pressure bandage, then the physical has the purpose there exists an entity such that the entity is an instance of compressing and the physical is an instrument for the entity
(=> (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 a process is an instance of vapor compression cycle, then there exist another process, a third process,, , a fourth process and the other process2 such that the other process is an instance of compressing and the third process is an instance of condensing and the fourth process is an instance of evaporating and the other process2 is an instance of compressing and the other process is a subprocess of the process and the third process is a subprocess of the process and the fourth process is a subprocess of the process and the other process2 is a subprocess of the process and the time of existence of the other process meets the time of existence of the third process and the time of existence of the third process meets the time of existence of the fourth process and the time of existence of the fourth process meets the time of existence of the other process2
(=> (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	If an entity is an instance of paper, then there exist a process, an object and another process such that the process is an instance of making and the object is an instance of cellulose and the other process is an instance of compressing and the object is a resource for the process and the entity is a result of the process and the process is a subprocess of the other process and the object is a patient of the other process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners