consequent

(=>     (instance ?P WatercolorPaint)     (exists (?W)         (and             (instance ?W FreshWater)             (part ?W ?P))))	Mid-level-ontology.kif 3820-3825	If X is an instance of watercolor paint, then there exists Y such that Y is an instance of freshwater and Y is a part of X
(=>     (and         (instance ?P SwimmingPool)         (contains ?P ?F)         (instance ?F Fluid))     (instance ?F FreshWater))	Mid-level-ontology.kif 5348-5353	If X is an instance of swimming pool, X contains Y, and Y is an instance of fluid, then Y is an instance of freshwater
(=>     (instance ?P Washing)     (exists (?D ?W)         (and             (instance ?D Detergent)             (instrument ?P ?D)             (instance ?W FreshWater)             (instrument ?P ?W))))	Mid-level-ontology.kif 6698-6705	If X is an instance of washing, then there exist Y, Z such that Y is an instance of detergent, Y is an instrument for X, Z is an instance of freshwater, and Z is an instrument for X
(=>     (instance ?OIL Oil)     (not         (exists (?MIX ?WATER)             (and                 (instance ?MIX Mixture)                 (part ?WATER ?MIX)                 (instance ?WATER FreshWater)                 (part ?OIL ?MIX)))))	Mid-level-ontology.kif 10179-10187	If X is an instance of oil, then there don't exist Y, Z such that Y is an instance of mixture, Z is a part of Y, Z is an instance of freshwater, and X is a part of Y
(=>     (instance ?ROOT PlantRoot)     (hasPurpose ?ROOT         (exists (?TRAN ?STUFF ?HOST)             (and                 (instance ?TRAN Transfer)                 (instrument ?TRAN ?ROOT)                 (origin ?TRAN ?HOST)                 (orientation ?HOST ?ROOT Outside)                 (objectTransferred ?TRAN ?STUFF)                 (or                     (instance ?STUFF FreshWater)                     (instance ?STUFF Nutrient))))))	Mid-level-ontology.kif 10998-11010	If X is an instance of plant root, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) X is an instrument for Y (4) Y originates at W (5) W is outside of to X (6) the object transferred in Y is Z (7) Z is an instance of freshwater or Z is an instance of nutrient
(=>     (and         (instance ?P Plant)         (part ?TIS ?P))     (exists (?K ?W ?CLASS)         (and             (instance ?K ?CLASS)             (subclass ?CLASS Keeping)             (instance ?W FreshWater)             (patient ?K ?W)             (capability ?CLASS instrument ?TIS)             (or                 (instance ?TIS PlantLeaf)                 (instance ?TIS PlantStem)))))	Mid-level-ontology.kif 11052-11065	If X is an instance of plant and Y is a part of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of V (3) V is a subclass of keeping (4) W is an instance of freshwater (5) W is a patient of Z (6) Y is capable of doing V as a instrument (7) Y is an instance of plant leaf or Y is an instance of plant stem
(=>     (instance ?BEVERAGE DistilledAlcoholicBeverage)     (exists (?REMOVE ?WATER)         (and             (instance ?REMOVE Removing)             (patient ?REMOVE ?WATER)             (instance ?WATER FreshWater)             (origin ?REMOVE ?BEVERAGE))))	Mid-level-ontology.kif 12403-12410	If X is an instance of distilled alcoholic beverage, then there exist Y, Z such that Y is an instance of removing, Z is a patient of Y, Z is an instance of freshwater, and Y originates at X
(=>     (instance ?X WaterHeater)     (hasPurpose ?X         (exists (?HEAT ?WATER)             (and                 (instance ?HEAT Heating)                 (instance ?WATER FreshWater)                 (patient ?HEAT ?WATER)                 (instrument ?HEAT ?X)))))	Mid-level-ontology.kif 28230-28238	If X is an instance of water heater, then X has the purpose there exist Y, Z such that Y is an instance of heating, Z is an instance of freshwater, Z is a patient of Y, and X is an instrument for Y
(=>     (instance ?SOAK Soaking)     (exists (?WATER ?OBJ)         (and             (instance ?OBJ Object)             (patient ?SOAK ?OBJ)             (instance ?WATER FreshWater)             (resource ?SOAK ?WATER)             (holdsDuring ?SOAK                 (orientation ?OBJ ?WATER Surrounded)))))	Mid-level-ontology.kif 29121-29130	If X is an instance of soaking, then there exist Y, Z such that Z is an instance of object, Z is a patient of X, Y is an instance of freshwater, Y is a resource for X, and Z is surrounded by to Y holds during X
(=>     (instance ?WP WaterPump)     (hasPurpose ?WP         (exists (?T ?W)             (and                 (instance ?T Transfer)                 (instance ?W FreshWater)                 (objectTransferred ?T ?W)                 (instrument ?T ?WP)))))	Cars.kif 2607-2615	If X is an instance of water pump, then X has the purpose there exist Y, Z such that Y is an instance of transfer, Z is an instance of freshwater, the object transferred in Y is Z, and X is an instrument for Y
(=>     (instance ?DEVICE Humidifier)     (hasPurpose ?DEVICE         (exists (?WATER ?EVAP)             (and                 (instance ?WATER FreshWater)                 (instance ?EVAP Evaporating)                 (patient ?EVAP ?WATER)))))	HouseholdAppliances.kif 985-992	If X is an instance of humidifier, then X has the purpose there exist Y, Z such that Y is an instance of freshwater, Z is an instance of evaporating, and Y is a patient of Z
(=>     (speedOfSound         (MeasureFn ?N MeterPerSecond) ?R ?T)     (holdsDuring ?T         (exists (?W)             (and                 (located ?R ?W)                 (instance ?W FreshWater)                 (measure ?W                     (MeasureFn 20 CelsiusDegree))                 (approximateValue ?N 1481)))))	Transportation.kif 5150-5158	If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is located at Z and Z is an instance of freshwater and the measure of Z is 20 celsius degree(s) and the approximate value of X is 1481 holds during W

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners