consequent

(=>     (and         (instance ?LECS AirEngineCoolingSystem)         (instance ?C Cooling)         (instrument ?C ?LECS))     (exists (?A)         (and             (instance ?A Air)             (objectTransferred ?C ?A))))	Cars.kif 2166-2174	If an object is an instance of air cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that the other object is an instance of air and the object transferred in the transfer is the other object
(=>     (and         (instance ?VCS VentedChestSeal)         (instance ?A Attaching)         (objectTransferred ?A ?VCS)         (destination ?A ?H))     (hasPurpose ?VCS         (exists (?A ?L ?C ?H)             (and                 (instance ?A Air)                 (instance ?L Lung)                 (instance ?C Chest)                 (part ?L ?H)                 (part ?C ?H)                 (holdsDuring                     (ImmediatePastFn                         (WhenFn ?A))                     (between ?L ?A ?C))                 (hasPurpose ?VCS                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?A))                         (orientation ?A ?H Outside)))))))	Medicine.kif 844-866	If an object is an instance of vented chest seal and a transfer is an instance of attaching and the object transferred in the transfer is the object and the transfer ends up at an entity, then the object has the purpose there exist the transfer, another entity,, , a third entity and the entity such that the transfer is an instance of air and the other entity is an instance of lung and the third entity is an instance of chest and the other entity is a part of the entity and the third entity is a part of the entity and the transfer is between the other entity and the third entity holds during immediately before the time of existence of the transfer and the object has the purpose the transfer is outside to the entity holds during immediately after the time of existence of the transfer
(=>     (holdsDuring ?T         (attribute ?H Pneumothorax))     (holdsDuring ?T         (exists (?A)             (and                 (instance ?A Air)                 (instance ?L Lung)                 (instance ?C Chest)                 (part ?L ?H)                 (part ?C ?H)                 (between ?L ?A ?C)))))	Medicine.kif 790-801	If collapsed lung is an attribute of an entity holds during a time position, then there exists another entity such that the other entity is an instance of air and a third entity is an instance of lung and a fourth entity is an instance of chest and the third entity is a part of the entity and the fourth entity is a part of the entity and the other entity is between the third entity and the fourth entity holds during the time position
(=>     (instance ?AERATE Aerating)     (exists (?AIR ?S)         (and             (patient ?AERATE ?AIR)             (instance ?AIR Air)             (patient ?AERATE ?S)             (attribute ?S Liquid))))	Mid-level-ontology.kif 2362-2369	If a process is an instance of aerating, then there exist an entity and an object such that the entity is a patient of the process and the entity is an instance of air and the object is a patient of the process and liquid is an attribute of the object
(=>     (instance ?AERATOR Aerator)     (hasPurpose ?AERATOR         (exists (?COMBINE ?AIR)             (and                 (instance ?COMBINE Combining)                 (resource ?COMBINE ?AIR)                 (instance ?AIR Air)                 (instrument ?COMBINE ?AERATOR)))))	Mid-level-ontology.kif 2349-2357	If a physical is an instance of aerator, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of combining and the other entity is a resource for the entity and the other entity is an instance of air and the physical is an instrument for the entity
(=>     (instance ?AI AirIntake)     (hasPurpose ?AI         (exists (?A ?E ?T)             (and                 (instance ?A Air)                 (instance ?E Engine)                 (instance ?T Transfer)                 (origin ?T ?AI)                 (destination ?T ?E)                 (patient ?T ?A)))))	Cars.kif 973-983	If a physical is an instance of air intake, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of air and the other entity is an instance of engine and the third entity is an instance of transfer and the third entity originates at the physical and the third entity ends up at the other entity and the entity is a patient of the third entity
(=>     (instance ?AI AirIntake)     (hasPurpose ?AI         (exists (?A)             (and                 (instance ?A Air)                 (contains ?AI ?A)))))	Cars.kif 965-971	If a physical is an instance of air intake, then the physical has the purpose there exists an entity such that the entity is an instance of air and the physical contains the entity
(=>     (instance ?AIRSPACE AtmosphericRegion)     (exists (?AIR)         (and             (instance ?AIR Air)             (part ?AIR ?AIRSPACE))))	Weather.kif 41-46	If an object is an instance of atmospheric region, then there exists another object such that the other object is an instance of air and the other object is a part of the object
(=>     (instance ?AP AirPump)     (hasPurpose ?AP         (exists (?T ?A)             (and                 (instance ?T Transportation)                 (instance ?A Air)                 (instrument ?T ?AP)                 (patient ?T ?A)))))	Mid-level-ontology.kif 27154-27162	If a physical is an instance of air pump, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the other entity is an instance of air and the physical is an instrument for the entity and the other entity is a patient of the entity
(=>     (instance ?BA BleedingAir)     (hasPurpose ?BA         (exists (?FC ?A)             (and                 (instance ?FC FluidContainer)                 (instance ?A Air)                 (holdsDuring                     (ImmediatePastFn ?BA)                     (contains ?FC ?A))                 (holdsDuring                     (ImmediateFutureFn ?BA)                     (not                         (contains ?FC ?A)))))))	Cars.kif 1519-1529	If a physical is an instance of bleeding air, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of fluid container and the other entity is an instance of air and the entity contains the other entity holds during immediately before the physical and the entity doesn't contain the other entity holds during immediately after the physical
(=>     (instance ?FA FuelAtomizer)     (hasPurpose ?FA         (exists (?F ?S ?A ?C)             (and                 (instance ?F Fuel)                 (instance ?S Spraying)                 (instance ?A Air)                 (instance ?C Combustion)                 (patient ?S ?A)                 (patient ?S ?F)                 (resource ?C ?F)                 (resource ?C ?A)))))	Cars.kif 1112-1124	If a physical is an instance of fuel atomizer, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of fuel and the other entity is an instance of spraying and the third entity is an instance of air and the fourth entity is an instance of burning and the third entity is a patient of the other entity and the entity is a patient of the other entity and the entity is a resource for the fourth entity and the third entity is a resource for the fourth entity
(=>     (instance ?FILTER AirFilter)     (hasPurpose ?FILTER         (exists (?REMOVE ?AIR ?NONAIR ?MIX)             (and                 (instance ?REMOVE Removing)                 (part ?AIR ?MIX)                 (instance ?AIR Air)                 (not                     (instance ?NONAIR Air))                 (attribute ?NONAIR Solid)                 (patient ?REMOVE ?NONAIR)                 (part ?NONAIR ?MIX)                 (origin ?REMOVE ?MIX)                 (instance ?MIX Mixture)                 (instrument ?REMOVE ?FILTER)))))	Cars.kif 943-958	If a physical is an instance of air filter, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of removing and the other entity is a part of the fourth entity and the other entity is an instance of air and the third entity is not an instance of air and solid is an attribute of the third entity and the third entity is a patient of the entity and the third entity is a part of the fourth entity and the entity originates at the fourth entity and the fourth entity is an instance of mixture and the physical is an instrument for the entity
(=>     (instance ?FRONT StormFront)     (exists (?AIR1 ?AIR2)         (and             (instance ?AIR1 Air)             (instance ?AIR2 Air)             (between ?AIR1 ?FRONT ?AIR2))))	Mid-level-ontology.kif 10282-10288	If an object is an instance of storm front, then there exist another object and a third object such that the other object is an instance of air and the third object is an instance of air and the object is between the other object and the third object
(=>     (instance ?HABOOB Haboob)     (exists (?TS ?DM ?A)         (and             (instance ?TS Thunderstorm)             (instance ?DM MotionDownward)             (instance ?A Air)             (patient ?DM ?A)             (subProcess ?DM ?TS)             (causes ?DM ?HABOOB))))	Weather.kif 2494-2503	If a process is an instance of Haboob, then there exist another process, a third process and an entity such that the other process is an instance of thunderstorm and the third process is an instance of motion downward and the entity is an instance of air and the entity is a patient of the third process and the third process is a subprocess of the other process and the third process causes the process
(=>     (instance ?MAS MassAirflowSensor)     (hasPurpose ?MAS         (exists (?T ?M ?A)             (and                 (instance ?T Transfer)                 (instance ?A Air)                 (patient ?T ?A)                 (instance ?M Measuring)                 (patient ?M ?A)                 (instrument ?M ?MAS)))))	Cars.kif 3364-3374	If a physical is an instance of mass airflow sensor, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the third entity is an instance of air and the third entity is a patient of the entity and the other entity is an instance of measuring and the third entity is a patient of the other entity and the physical is an instrument for the other entity
(=>     (instance ?S Supercharger)     (hasPurpose ?S         (exists (?T ?IV ?A)             (and                 (instance ?T GasMotion)                 (origin ?T ?S)                 (instance ?IV IntakeValve)                 (destination ?T ?IV)                 (instance ?A Air)                 (objectTransferred ?T ?A)                 (holdsDuring                     (WhenFn ?T)                     (attribute ?A Pressurized))))))	Cars.kif 5253-5265	If a physical is an instance of supercharger, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas motion and the entity originates at the physical and the other entity is an instance of intake valve and the entity ends up at the other entity and the third entity is an instance of air and the object transferred in the entity is the third entity and pressurized is an attribute of the third entity holds during the time of existence of the entity
(=>     (instance ?STORM Storm)     (holdsDuring         (WhenFn ?STORM)         (exists (?LOW ?AREA ?AIR ?RISE)             (and                 (instance ?LOW LowPressureWeatherSystem)                 (instance ?AREA Region)                 (eventLocated ?LOW ?AREA)                 (instance ?AIR Air)                 (instance ?RISE MotionUpward)                 (patient ?RISE ?AIR)                 (eventLocated ?RISE ?AREA)                 (subProcess ?RISE ?LOW)))))	Weather.kif 4241-4254	If a physical is an instance of storm, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of low pressure weather system and the other entity is an instance of region and the entity is located at the other entity and the third entity is an instance of air and the fourth entity is an instance of motion upward and the third entity is a patient of the fourth entity and the fourth entity is located at the other entity and the fourth entity is a subprocess of the entity holds during the time of existence of the physical
(=>     (instance ?WIND Wind)     (exists (?AIR)         (and             (patient ?WIND ?AIR)             (instance ?AIR Air))))	Merge.kif 14974-14979	If a process is an instance of wind, then there exists an entity such that the entity is a patient of the process and the entity is an instance of air
(=>     (instance ?X RoomHeater)     (hasPurpose ?X         (exists (?AIR ?HEATING ?ROOM)             (and                 (instance ?AIR Air)                 (instance ?ROOM Room)                 (located ?AIR ?ROOM)                 (instance ?HEATING Heating)                 (patient ?HEATING ?AIR)                 (instrument ?HEATING ?X)))))	Mid-level-ontology.kif 28729-28739	If a physical is an instance of room heater, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of air and the third entity is an instance of room and the entity is located at the third entity and the other entity is an instance of heating and the entity is a patient of the other entity and the physical is an instrument for the other entity

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