consequent

(=>     (instance ?COND Condensing)     (exists (?COOL)         (and             (instance ?COOL Cooling)             (subProcess ?COOL ?COND))))	Merge.kif 14281-14286	If X is an instance of condensing, then there exists Y such that Y is an instance of cooling and Y is a subprocess of X
(=>     (instance ?FREEZE Freezing)     (exists (?COOL)         (and             (instance ?COOL Cooling)             (subProcess ?COOL ?FREEZE))))	Merge.kif 14302-14307	If X is an instance of freezing, then there exists Y such that Y is an instance of cooling and Y is a subprocess of X
(=>     (instance ?D CoolingDevice)     (hasPurpose ?D         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?D)))))	Mid-level-ontology.kif 2884-2890	If X is an instance of cooling device, then X has the purpose there exists Y such that Y is an instance of cooling and X is an instrument for Y
(=>     (instance ?X AirConditioner)     (hasPurpose ?X         (exists (?PROC ?TEMP ?AREA)             (and                 (located ?X ?AREA)                 (instance ?PROC Cooling)                 (instrument ?PROC ?X)))))	Mid-level-ontology.kif 28566-28573	If X is an instance of air conditioner, then X has the purpose there exist Y, Z, W such that X is located at W, Y is an instance of cooling, and X is an instrument for Y
(=>     (instance ?ACC AirConditioningCompressor)     (hasPurpose ?ACC         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?ACC)))))	Cars.kif 1854-1860	If X is an instance of air conditioning compressor, then X has the purpose there exists Y such that Y is an instance of cooling and X is an instrument for Y
(=>     (instance ?ACC AirConditioningCondenser)     (hasPurpose ?ACC         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?ACC)))))	Cars.kif 1898-1904	If X is an instance of air conditioning condenser, then X has the purpose there exists Y such that Y is an instance of cooling and X is an instrument for Y
(=>     (instance ?ACE AirConditioningEvaporator)     (hasPurpose ?ACE         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?ACE)))))	Cars.kif 1922-1928	If X is an instance of air conditioning evaporator, then X has the purpose there exists Y such that Y is an instance of cooling and X is an instrument for Y
(=>     (and         (instance ?ECS EngineCoolingSystem)         (instance ?E Engine)         (instance ?A Automobile)         (part ?ECS ?A)         (part ?E ?A))     (hasPurpose ?ECS         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?ECS)                 (patient ?C ?E)))))	Cars.kif 1993-2005	If X is an instance of engine cooling system, Y is an instance of engine, Z is an instance of automobile, X is a part of Z, and Y is a part of Z, then X has the purpose there exists W such that W is an instance of cooling, X is an instrument for W, and Y is a patient of W
(=>     (instance ?R Radiator)     (hasPurpose ?R         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?R)))))	Cars.kif 2051-2057	If X is an instance of radiator, then X has the purpose there exists Y such that Y is an instance of cooling and X is an instrument for Y
(=>     (instance ?EF EngineFan)     (hasPurpose ?EF         (exists (?C ?E ?A)             (and                 (instance ?A Automobile)                 (instance ?C Cooling)                 (instance ?E InternalCombustionEngine)                 (part ?E ?A)                 (part ?EF ?A)                 (instrument ?C ?EF)                 (patient ?C ?E)))))	Cars.kif 2590-2601	If X is an instance of engine fan, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of automobile (3) Y is an instance of cooling (4) Z is an instance of internal combustion engine (5) Z is a part of W (6) X is a part of W (7) X is an instrument for Y (8) Z is a patient of Y
(=>     (instance ?W MountainBreeze)     (exists (?TOP ?A ?C ?AIR ?M)         (and             (origin ?W ?TOP)             (top ?TOP ?A)             (instance ?A SlopedArea)             (instance ?C Cooling)             (patient ?C ?AIR)             (orientation ?AIR ?TOP Above)             (causes ?C ?M)             (instance ?M MotionDownward)             (subProcess ?M ?W))))	Weather.kif 2568-2580	If X is an instance of mountain breeze, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that X originates at Y (3) the top of Z is Y (4) Z is an instance of sloped area (5) W is an instance of cooling (6) V is a patient of W (7) V is above to Y (8) W causes U (9) U is an instance of motion downward (10) U is a subprocess of X
(=>     (instance ?CTRL TemperatureControl)     (exists (?DEVICE ?TEMP)         (and             (instance ?DEVICE ElectricDevice)             (part ?CTRL ?DEVICE)             (hasPurpose ?DEVICE                 (exists (?PROC)                     (and                         (instance ?AREA Region)                         (or                             (instance ?PROC Heating)                             (instance ?PROC Cooling))                         (instrument ?PROC ?CTRL)))))))	engineering.kif 1563-1576	If X is an instance of temperature control, then there exist Y, Z such that Y is an instance of electric device, X is a part of Y, Y has the purpose there exists W such that V is an instance of region, W is an instance of heating or W is an instance of cooling, and X is an instrument for W

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

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners