Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Water

 Sigma KEE - Water
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
-------------------------


(subclass Water CompoundSubstance) Merge.kif 14621-14621 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 14622-14623 Water is a subclass of compound substance
(roomTempState Water Liquid) Mid-level-ontology.kif 34102-34102 room temperature state water and liquid
(mixturePartType Water SodiumLactate) Medicine.kif 5916-5916 Water is a part of the mixture sodium lactate
(refractiveIndex Water 1.333) Transportation.kif 5630-5630 The RefractiveIndexFn of water is 1.333
(externalImage Water "http://upload.wikimedia.org/wikipedia/commons/2/24/ Drop_of_water_2003_03.jpg") pictureList.kif 83-83 The RefractiveIndexFn of water is 1.333

appearance as argument number 2
-------------------------


(subclass FreshWater Water) Mid-level-ontology.kif 3815-3815 Freshwater is a subclass of water
(subclass Ice Water) Mid-level-ontology.kif 10343-10343 Ice is a subclass of water
(subclass Steam Water) Mid-level-ontology.kif 28213-28213 Steam is a subclass of water
(subclass PurifiedWater Water) Food.kif 238-238 Purified water is a subclass of water
(subclass GroundWater Water) Geography.kif 4175-4175 Ground water is a subclass of water
(subclass SeaWater Water) Geography.kif 4252-4252 Sea water is a subclass of water
(subclass BrackishWater Water) Geography.kif 4279-4279 Brackish water is a subclass of water
(subclass Rain Water) Weather.kif 4231-4231 Rain is a subclass of water
(termFormat EnglishLanguage Water "water") english_format.kif 1133-1133 Rain is a subclass of water

antecedent
-------------------------


(=>
    (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 10149-10158 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 27608-27618 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 ?RAINFALL Process)
        (patient ?RAINFALL ?RAIN)
        (instance ?RAIN Water)
        (measure ?RAIN
            (MeasureFn ?PH PHValue)))
    (lessThan ?PH 5.6))		 Geography.kif 3997-4003 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 4339-4341 If X is an instance of water, then X is capable of doing salinifying as a patient
(=>
    (and
        (instance ?PROCESS FreezingRain)
        (patient ?PROCESS ?STUFF)
        (instance ?STUFF Water))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?PROCESS))
        (attribute ?STUFF Solid)))		 Weather.kif 1768-1776 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 ?PROCESS Precipitation)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?PROCESS ?STUFF))))		 Merge.kif 11465-11470 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 11489-11494 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 14438-14445 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 14730-14735 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 14885-14890 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 15085-15090 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 15092-15105 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 2653-2659 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 4114-4123 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 4760-4766 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 10141-10147 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 10346-10350 X is an instance of ice if, only if X is an instance of water, and solid is an attribute of X
(=>
    (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 28218-28226 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 32103-32111 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 ?M Mud)
    (exists (?W)
        (and
            (instance ?W Water)
            (part ?W ?M))))		 Cars.kif 4877-4882 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 249-259 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 3931-3943 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 3945-3953 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 7604-7610 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)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?SVC))
                (attribute ?CLOTHES Clean)))))		 Hotel.kif 1823-1836 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 holds during immediately after the time of existence 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 ?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 1239-1251 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 CollectionOfObjects)
            (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 1734-1747 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)
(=>
    (precipitationState ?EVENT ?STATE)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?EVENT ?STUFF)
            (attribute ?STUFF ?STATE))))		 Weather.kif 1873-1879 If X is a precipitation state of Y, then there exists Z such that Z is an instance of water, Z is a patient of Y, and X is an attribute of Z

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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