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

KB Term:  Term intersection
English Word: 

Sigma KEE - Water
Water

appearance as argument number 1
-------------------------


(subclass Water CompoundSubstance) Merge.kif 14621-14621
(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
(roomTempState Water Liquid) Mid-level-ontology.kif 34102-34102
(mixturePartType Water SodiumLactate) Medicine.kif 5916-5916
(refractiveIndex Water 1.333) Transportation.kif 5630-5630
(externalImage Water "http://upload.wikimedia.org/wikipedia/commons/2/24/ Drop_of_water_2003_03.jpg") pictureList.kif 83-83

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


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

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
(=>
    (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
(=>
    (and
        (instance ?RAINFALL Process)
        (patient ?RAINFALL ?RAIN)
        (instance ?RAIN Water)
        (measure ?RAIN
            (MeasureFn ?PH PHValue)))
    (lessThan ?PH 5.6))		 Geography.kif 3997-4003
(=>
    (instance ?S Water)
    (capability Salination patient ?S))		 Geography.kif 4339-4341
(=>
    (and
        (instance ?PROCESS FreezingRain)
        (patient ?PROCESS ?STUFF)
        (instance ?STUFF Water))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?PROCESS))
        (attribute ?STUFF Solid)))		 Weather.kif 1768-1776

consequent
-------------------------


(=>
    (instance ?PROCESS Precipitation)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?PROCESS ?STUFF))))		 Merge.kif 11465-11470
(=>
    (instance ?MOTION WaterMotion)
    (exists (?WATER)
        (and
            (patient ?MOTION ?WATER)
            (instance ?WATER Water))))		 Merge.kif 11489-11494
(=>
    (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
(=>
    (instance ?ALGA Alga)
    (exists (?WATER)
        (and
            (inhabits ?ALGA ?WATER)
            (instance ?WATER Water))))		 Merge.kif 14730-14735
(=>
    (instance ?FISH Fish)
    (exists (?WATER)
        (and
            (inhabits ?FISH ?WATER)
            (instance ?WATER Water))))		 Merge.kif 14885-14890
(=>
    (instance ?CLOUD WaterCloud)
    (exists (?WATER)
        (and
            (instance ?WATER Water)
            (part ?WATER ?CLOUD))))		 Merge.kif 15085-15090
(=>
    (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
(=>
    (instance ?TUB BathTub)
    (hasPurpose ?TUB
        (exists (?WATER)
            (and
                (instance ?WATER Water)
                (contains ?TUB ?WATER)))))		 Mid-level-ontology.kif 2653-2659
(=>
    (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
(=>
    (attribute ?X WaterBed)
    (exists (?MATTRESS ?WATER)
        (and
            (component ?MATTRESS ?X)
            (contains ?MATTRESS ?WATER)
            (instance ?WATER Water))))		 Mid-level-ontology.kif 4760-4766
(=>
    (and
        (instance ?SOLUTION SalineSolution)
        (part ?PART ?SOLUTION))
    (or
        (instance ?PART SodiumChloride)
        (instance ?PART Water)))		 Mid-level-ontology.kif 10141-10147
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))		 Mid-level-ontology.kif 10346-10350
(=>
    (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
(=>
    (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
(=>
    (instance ?M Mud)
    (exists (?W)
        (and
            (instance ?W Water)
            (part ?W ?M))))		 Cars.kif 4877-4882
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (instance ?Glacier Glacier)
    (exists (?Water)
        (and
            (instance ?Water Water)
            (attribute ?Water Solid)
            (part ?Water ?Glacier))))		 Geography.kif 7604-7610
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (precipitationState ?EVENT ?STATE)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?EVENT ?STUFF)
            (attribute ?STUFF ?STATE))))		 Weather.kif 1873-1879

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners