| Water(water)
| | H2O, Vichy_water, aquatic, aqueous, aquifer, bath_water, bilge, bilge_water, bottled_water, branch_water, brine, carbonated_water, club_soda, corn_snow, deuterium_oxide, dew, dewdrop, dishwater, distilled_water, drinking_water, floodhead, fresh, glacial, hail, heavy_water, holy_water, ice_cube, ice_shelf, ice_water, meltwater, mineral_water, rain, rainwater, sea_spray, sedimentary, seltzer, shelf_ice, slush, snow_bank, snowbank, soda_water, soft_water, sparkling_water, spindrift, spoondrift, spray, spring_water, sugar_water, sweet, tap_water... |
| appearance as argument number 1 |
|
|
| (mixturePartType Water SodiumLactate) | Medicine.kif 5878-5878 | Water is a part of the mixture sodium lactate |
| (subclass Water CompoundSubstance) | Merge.kif 14482-14482 | Water is a subclass of compound substance |
| (documentation Water EnglishLanguage "The Class of samples of the compound H20. Note that this Class covers both pure and impure Water.") | Merge.kif 14483-14484 | Water is a subclass of compound substance |
| (roomTempState Water Liquid) | Mid-level-ontology.kif 34362-34362 | room temperature state water and liquid |
| (externalImage Water "http://upload.wikimedia.org/wikipedia/commons/2/24/ Drop_of_water_2003_03.jpg") | pictureList.kif 83-83 | room temperature state water and liquid |
| appearance as argument number 2 |
|
|
| (subclass PurifiedWater Water) | Food.kif 237-237 | Purified water is a subclass of water |
| (subclass FreshWater Water) | Geography.kif 4185-4185 | Freshwater is a subclass of water |
| (subclass GroundWater Water) | Geography.kif 4198-4198 | Ground water is a subclass of water |
| (subclass SeaWater Water) | Geography.kif 4275-4275 | Sea water is a subclass of water |
| (subclass BrackishWater Water) | Geography.kif 4302-4302 | Brackish water is a subclass of water |
| (subclass Ice Water) | Mid-level-ontology.kif 10222-10222 | Ice is a subclass of water |
| (subclass Steam Water) | Mid-level-ontology.kif 28291-28291 | Steam is a subclass of water |
| (subclass Rain Water) | Weather.kif 4275-4275 | Rain is a subclass of water |
| (termFormat EnglishLanguage Water "water") | english_format.kif 1129-1129 | Rain is a subclass of water |
| antecedent |
|
|
| (=> (and (instance ?RAINFALL Process) (patient ?RAINFALL ?RAIN) (instance ?RAIN Water) (measure ?RAIN (MeasureFn ?PH PHValue))) (lessThan ?PH 5.6)) |
Geography.kif 4016-4022 | If X is an instance of process, Y is a patient of X, Y is an instance of water, and the measure of Y is Z PH value(s), then Z is less than 5.6 |
| (=> (instance ?S Water) (capability Salination patient ?S)) |
Geography.kif 4362-4364 | If X is an instance of water, then X is capable of doing salinifying as a patient |
| (=> (instance ?WATER Water) (exists (?SYNTHESIS ?HYDROGEN ?OXYGEN) (and (instance ?SYNTHESIS ChemicalSynthesis) (resource ?SYNTHESIS ?HYDROGEN) (instance ?HYDROGEN Hydrogen) (resource ?SYNTHESIS ?OXYGEN) (instance ?OXYGEN Oxygen) (result ?SYNTHESIS ?WATER)))) |
Mid-level-ontology.kif 10028-10037 | If X is an instance of water, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of chemical synthesis (3) Z is a resource for Y (4) Z is an instance of hydrogen (5) W is a resource for Y (6) W is an instance of oxygen (7) X is a result of Y |
| (=> (and (instance ?X HotTub) (located ?WATER ?X) (instance ?WATER Water)) (modalAttribute (exists (?HEAT) (and (instance ?HEAT Heating) (instrument ?HEAT ?X) (patient ?HEAT ?WATER))) Possibility)) |
Mid-level-ontology.kif 27686-27696 | If X is an instance of hot tub, Y is located at X, and Y is an instance of water, then the statement there exists Z such that Z is an instance of heating, X is an instrument for Z, and Y is a patient of Z has the modal force of possibility |
| (=> (and (instance ?PROCESS FreezingRain) (patient ?PROCESS ?STUFF) (instance ?STUFF Water)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROCESS)) (attribute ?STUFF Solid))) |
Weather.kif 1784-1789 | If X is an instance of freezing rain, Y is a patient of X, and Y is an instance of water, then solid is an attribute of Y holds during immediately after the time of existence of X |
| consequent |
|
|
| (=> (instance ?M Mud) (exists (?W) (and (instance ?W Water) (part ?W ?M)))) |
Cars.kif 5063-5068 | If X is an instance of mud, then there exists Y such that Y is an instance of water and Y is a part of X |
| (=> (instance ?PW PurifiedWater) (exists (?R ?W ?S) (and (instance ?R Removing) (origin ?R ?W) (instance ?W Water) (patient ?R ?S) (instance ?S Substance) (part ?S ?W) (result ?R ?PW)))) |
Food.kif 248-258 | If X is an instance of purified water, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of removing (3) Y originates at Z (4) Z is an instance of water (5) W is a patient of Y (6) W is an instance of substance (7) W is a part of Z (8) X is a result of Y |
| (=> (instance ?AR AcidRainfall) (exists (?RAIN ?SO2 ?NO ?NO2) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (instance ?SO2 SulphurDioxide) (instance ?NO NitricOxide) (instance ?NO2 NitrogenDioxide) (or (part ?SO2 ?RAIN) (part ?NO ?RAIN) (part ?NO2 ?RAIN))))) |
Geography.kif 3950-3962 | If X is an instance of acid rainfall, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of water (3) Y is a patient of X (4) Z is an instance of sulphur dioxide (5) W is an instance of nitric oxide (6) V is an instance of nitrogen dioxide (7) Z is a part of Y or W is a part of Y or V is a part of Y |
| (=> (instance ?AR AcidRainfall) (exists (?RAIN ?PH) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (measure ?RAIN (MeasureFn ?PH PHValue)) (lessThan ?PH 5.0)))) |
Geography.kif 3964-3972 | If X is an instance of acid rainfall, then there exist Y and Z such that Y is an instance of water and Y is a patient of X and the measure of Y is Z PH value(s) and Z is less than 5.0 |
| (=> (instance ?Glacier Glacier) (exists (?Water) (and (instance ?Water Water) (attribute ?Water Solid) (part ?Water ?Glacier)))) |
Geography.kif 7625-7631 | If X is an instance of glacier, then there exists Y such that Y is an instance of water, solid is an attribute of Y, and Y is a part of X |
| (=> (instance ?SVC DryCleaningService) (exists (?CLOTHES ?WATER ?CHEM) (and (instance ?CLOTHES Clothing) (not (instrument ?SVC ?WATER)) (instance ?WATER Water) (instance ?CHEM ChemicalProduct) (instrument ?SVC ?CHEM) (patient ?SVC ?CLOTHES) (result ?SVC (attribute ?CLOTHES Clean))))) |
Hotel.kif 1820-1830 | If X is an instance of dry-clean, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of clothing (3) Z is not an instrument for X (4) Z is an instance of water (5) W is an instance of chemical product (6) W is an instrument for X (7) Y is a patient of X (8) clean is an attribute of Y is a result of X |
| (=> (instance ?DEVICE BathBodyCareAppliance) (hasPurpose ?DEVICE (exists (?PROC ?WATER) (and (instance ?PROC Process) (instance ?WATER Water) (instrument ?PROC ?DEVICE) (resource ?PROC ?WATER))))) |
HouseholdAppliances.kif 113-121 | If X is an instance of bath body care appliance, then X has the purpose there exist Y, Z such that Y is an instance of process, Z is an instance of water, X is an instrument for Y, and Z is a resource for Y |
| (=> (instance ?DEVICE WaterPurifier) (hasPurpose ?DEVICE (exists (?WATER ?PROCESS) (and (instance ?WATER Water) (instance ?PROCESS Process) (patient ?PROCESS ?WATER) (holdsDuring (EndFn (WhenFn ?PROCESS)) (attribute ?WATER Clean)))))) |
HouseholdAppliances.kif 999-1010 | If X is an instance of water purifier, then X has the purpose there exist Y, Z such that Y is an instance of water, Z is an instance of process, Y is a patient of Z, and clean is an attribute of Y holds during the end of the time of existence of Z |
| (=> (instance ?PROCESS Precipitation) (exists (?STUFF) (and (instance ?STUFF Water) (patient ?PROCESS ?STUFF)))) |
Merge.kif 11371-11376 | If X is an instance of precipitation, then there exists Y such that Y is an instance of water and Y is a patient of X |
| (=> (instance ?MOTION WaterMotion) (exists (?WATER) (and (patient ?MOTION ?WATER) (instance ?WATER Water)))) |
Merge.kif 11395-11400 | If X is an instance of water motion, then there exists Y such that Y is a patient of X and Y is an instance of water |
| (=> (instance ?AREA WaterArea) (exists (?BED ?HOLE ?WATER) (and (equal (HoleHostFn ?HOLE) ?BED) (instance ?WATER Water) (properlyFills ?WATER ?HOLE) (equal (MereologicalSumFn ?BED ?WATER) ?AREA)))) |
Merge.kif 14299-14306 | If X is an instance of water area, then All of the following hold: (1) there exist Y, Z (2) W such that equal the host of the hole Z (3) Y (4) W is an instance of water (5) W properly fills Z (6) equal the union of the parts of Y (7) W (8) X |
| (=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water)))) |
Merge.kif 14593-14598 | If X is an instance of alga, then there exists Y such that X lives in Y and Y is an instance of water |
| (=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water)))) |
Merge.kif 14748-14753 | If X is an instance of fish, then there exists Y such that X lives in Y and Y is an instance of water |
| (=> (instance ?CLOUD WaterCloud) (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?CLOUD)))) |
Merge.kif 14948-14953 | If X is an instance of water cloud, then there exists Y such that Y is an instance of water and Y is a part of X |
| (=> (instance ?CLOUD WaterCloud) (forall (?PART) (=> (and (part ?PART ?CLOUD) (not (instance ?PART Water))) (exists (?WATER ?MEASURE1 ?MEASURE2 ?U) (and (instance ?WATER Water) (part ?WATER ?CLOUD) (measure ?WATER (MeasureFn ?MEASURE1 ?U)) (measure ?PART (MeasureFn ?MEASURE2 ?U)) (greaterThan ?MEASURE1 ?MEASURE2)))))) |
Merge.kif 14955-14968 | If X is an instance of water cloud, then For all Object Y: if Y is a part of X and Y is not an instance of water, then there exist Z, W,, , V and U such that Z is an instance of water and Z is a part of X and the measure of Z is W U(s) and the measure of Y is V U(s) and W is greater than V |
| (=> (instance ?TUB BathTub) (hasPurpose ?TUB (exists (?WATER) (and (instance ?WATER Water) (contains ?TUB ?WATER))))) |
Mid-level-ontology.kif 2535-2541 | If X is an instance of tub, then X has the purpose there exists Y such that Y is an instance of water and X contains Y |
| (=> (instance ?X WaterVehicle) (hasPurpose ?X (exists (?EV ?SURF) (and (instance ?SURF Water) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?SURF)))))) |
Mid-level-ontology.kif 3947-3956 | If X is an instance of water vehicle, then X has the purpose there exist Y, Z such that Z is an instance of water, Y is an instance of transportation, and X meets Z holds during the time of existence of Y |
| (=> (attribute ?X WaterBed) (exists (?MATTRESS ?WATER) (and (component ?MATTRESS ?X) (contains ?MATTRESS ?WATER) (instance ?WATER Water)))) |
Mid-level-ontology.kif 4574-4580 | If waterbed is an attribute of X, then there exist Y, Z such that Y is a component of X, Y contains Z, and Z is an instance of water |
| (=> (and (instance ?SOLUTION SalineSolution) (part ?PART ?SOLUTION)) (or (instance ?PART SodiumChloride) (instance ?PART Water))) |
Mid-level-ontology.kif 10020-10026 | If X is an instance of saline solution and Y is a part of X, then Y is an instance of salt or Y is an instance of water |
| (<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 10225-10229 | X is an instance of ice if, only if X is an instance of water, and solid is an attribute of X |
| (=> (instance ?TUB WhirlpoolTub) (exists (?VALVE) (and (instance ?VALVE PressureControlValve) (part ?VALVE ?TUB) (hasPurpose ?VALVE (exists (?WATER ?CREATION ?MOTION) (and (instance ?WATER Water) (located ?WATER ?TUB) (instance ?CREATION Creation) (instrument ?CREATION ?VALVE) (result ?CREATION ?MOTION) (instance ?MOTION Motion) (located ?MOTION ?WATER))))))) |
Mid-level-ontology.kif 27664-27679 | If X is an instance of whirlpool tub, then All of the following hold: (1) there exists Y such that Y is an instance of pressure control valve (2) Y is a part of X (3) Y has the purpose there exist Z, W (4) V such that Z is an instance of water (5) Z is located at X (6) W is an instance of creation (7) Y is an instrument for W (8) V is a result of W (9) V is an instance of motion (10) V is located at Z |
| (=> (instance ?STEAM Steam) (exists (?BOIL ?WATER) (and (instance ?BOIL Boiling) (instance ?WATER Water) (patient ?BOIL ?WATER) (result ?BOIL ?STEAM) (attribute ?STEAM Gas)))) |
Mid-level-ontology.kif 28296-28304 | If X is an instance of steam, then there exist Y, Z such that Y is an instance of boiling, Z is an instance of water, Z is a patient of Y, X is a result of Y, and gas is an attribute of X |
| (=> (instance ?FT FishTank) (hasPurpose ?FT (exists (?W ?F) (and (instance ?W Water) (instance ?F Fish) (contains ?FT ?W) (contains ?FT ?F))))) |
Mid-level-ontology.kif 32157-32165 | If X is an instance of fish tank, then X has the purpose there exist Y, Z such that Y is an instance of water, Z is an instance of fish, X contains Y, and X contains Z |
| (=> (instance ?X WaterSport) (exists (?W) (and (or (instance ?W WaterArea) (and (instance ?W FluidContainer) (exists (?WATER) (and (instance ?WATER Water) (located ?WATER ?W))))) (eventLocated ?X ?W)))) |
Sports.kif 1225-1237 | If X is an instance of water sport, then there exists Y such that Y is an instance of water area or Y is an instance of fluid container, there exists Z such that Z is an instance of water, Z is located at Y, and X is located at Y |
| (=> (instance ?RAIN Raining) (exists (?CLTN ?R ?CLASS) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (instance ?R ?CLASS) (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 9.0 Millimeter))))) |
Weather.kif 1750-1763 | If X is an instance of raining, then there exist Y, Z and W such that Y is an instance of collection and Z is an instance of water and Z is an instance of liquid drop and Z is an instance of W and Z is a member of Y and the object transferred in X is Y and the minimum expected radius of W is 0.1 millimeter(s) and the maximum expected radius of W is 9.0 millimeter(s) |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|