Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Water

Sigma KEE - Water
Water

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


(documentation Water ChineseLanguage "这是复合物H20样品的 Class。注:这个 Class 同时包括纯正 和非纯正的 Water。") chinese_format.kif 3362-3363
(documentation Water EnglishLanguage "The Class of samples of the compound H20. Note that this Class covers both pure and impure Water.") Merge.kif 14040-14041
(externalImage Water "http://upload.wikimedia.org/wikipedia/commons/2/24/ Drop_of_water_2003_03.jpg") pictureList.kif 83-83
(subclass Water CompoundSubstance) Merge.kif 14039-14039

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


(subclass Freshwater Water) Geography.kif 2733-2733
(subclass Groundwater Water) Geography.kif 2746-2746
(subclass Ice Water) Mid-level-ontology.kif 8579-8579
(subclass Rain Water) Weather.kif 2962-2962
(subclass Steam Water) Mid-level-ontology.kif 25012-25012
(termFormat ChineseLanguage Water "水") chinese_format.kif 961-961
(termFormat EnglishLanguage Water "water") english_format.kif 1129-1129

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


(=>
    (and
        (instance ?PROCESS FreezingRain)
        (patient ?PROCESS ?STUFF)
        (instance ?STUFF Water))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?PROCESS))
        (attribute ?STUFF Solid)))
Weather.kif 1090-1095
(=>
    (and
        (instance ?RAINFALL Process)
        (patient ?RAINFALL ?RAIN)
        (instance ?RAIN Water)
        (measure ?RAIN
            (MeasureFn ?PH PHValue)))
    (lessThan ?PH 5.6))
Geography.kif 2564-2570
(=>
    (and
        (instance ?W Water)
        (instance ?M Mixture)
        (part ?W ?M)
        (instance ?A Antifreeze)
        (part ?A ?M)
        (attribute ?M Solid)
        (measure ?M
            (MeasureFn ?D CelsiusDegree)))
    (greaterThan 32 ?D))
Cars.kif 1219-1228
(=>
    (and
        (instance ?X HeatedPool)
        (contains ?X ?WATER)
        (instance ?WATER Water)
        (part ?X ?HEATER)
        (instance ?HEATER WaterHeater)
        (attribute ?HEATER DeviceOn))
    (attribute ?WATER WarmTemperature))
Mid-level-ontology.kif 26177-26185
(=>
    (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 24637-24647
(=>
    (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 8385-8394

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


(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))
Mid-level-ontology.kif 8582-8586
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG Utilities))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (or
                        (instance ?EV Removing)
                        (instance ?THING Sewage))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Electron)
                        (instance ?THING Water)
                        (and
                            (instance ?THING PureSubstance)
                            (capability Combustion patient ?THING)))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 FinancialTransaction)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 954-977
(=>
    (and
        (instance ?P Plant)
        (part ?TIS ?P))
    (exists (?K ?W)
        (and
            (instance ?K Keeping)
            (instance ?W Water)
            (patient ?K ?W)
            (capability ?K instrument ?TIS)
            (or
                (instance ?TIS PlantLeaf)
                (instance ?TIS PlantStem)))))
Mid-level-ontology.kif 9158-9170
(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F Water))
Mid-level-ontology.kif 4468-4473
(=>
    (and
        (instance ?SOLUTION SalineSolution)
        (part ?PART ?SOLUTION))
    (or
        (instance ?PART SodiumChloride)
        (instance ?PART Water)))
Mid-level-ontology.kif 8377-8383
(=>
    (attribute ?X WaterBed)
    (exists (?MATTRESS ?WATER)
        (and
            (component ?MATTRESS ?X)
            (contains ?MATTRESS ?WATER)
            (instance ?WATER Water))))
Mid-level-ontology.kif 4005-4011
(=>
    (instance ?ALGA Alga)
    (exists (?WATER)
        (and
            (inhabits ?ALGA ?WATER)
            (instance ?WATER Water))))
Merge.kif 14150-14155
(=>
    (instance ?AR AcidRainfall)
    (exists (?RAIN ?PH)
        (and
            (instance ?RAIN Water)
            (patient ?AR ?RAIN)
            (measure ?RAIN
                (MeasureFn ?PH PHValue))
            (lessThan ?PH 5.0))))
Geography.kif 2512-2520
(=>
    (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 2498-2510
(=>
    (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 13870-13877
(=>
    (instance ?BEVERAGE DistilledAlcoholicBeverage)
    (exists (?REMOVE ?WATER)
        (and
            (instance ?REMOVE Removing)
            (patient ?REMOVE ?WATER)
            (instance ?WATER Water)
            (origin ?REMOVE ?BEVERAGE))))
Mid-level-ontology.kif 10428-10435
(=>
    (instance ?CLOUD WaterCloud)
    (exists (?WATER)
        (and
            (instance ?WATER Water)
            (part ?WATER ?CLOUD))))
Merge.kif 14502-14507
(=>
    (instance ?CLOUD WaterCloud)
    (forall (?PART)
        (=>
            (and
                (part ?PART ?CLOUD)
                (not
                    (instance ?PART Water)))
            (exists (?WATER ?MEASURE1 ?MEASURE2)
                (and
                    (instance ?WATER Water)
                    (part ?WATER ?CLOUD)
                    (measure ?WATER
                        (MeasureFn ?MEASURE1 ?U))
                    (measure ?PART
                        (MeasureFn ?MEASURE2 ?U))
                    (greaterThan ?MEASURE1 ?MEASURE2))))))
Merge.kif 14509-14522
(=>
    (instance ?D Dough)
    (exists (?F ?W)
        (and
            (instance ?F Flour)
            (instance ?W Water)
            (part ?F ?D)
            (part ?W ?D))))
Mid-level-ontology.kif 20977-20984
(=>
    (instance ?DRIZZLE Drizzling)
    (exists (?CLTN ?R ?SIZE)
        (and
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?DRIZZLE ?CLTN)
            (approximateDiameter ?R
                (MeasureFn ?SIZE Millimeter))
            (modalAttribute
                (lessThanOrEqualTo ?SIZE 0.5) Likely))))
Weather.kif 2802-2814
(=>
    (instance ?FISH Fish)
    (exists (?WATER)
        (and
            (inhabits ?FISH ?WATER)
            (instance ?WATER Water))))
Merge.kif 14305-14310
(=>
    (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 28880-28888
(=>
    (instance ?Glacier Glacier)
    (exists (?Water)
        (and
            (instance ?Water Water)
            (attribute ?Water Solid)
            (part ?Water ?Glacier))))
Geography.kif 5901-5907
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material Water ?LAWB))
Cars.kif 2465-2467
(=>
    (instance ?M Mud)
    (exists (?W)
        (and
            (instance ?W Water)
            (part ?W ?M))))
Cars.kif 4988-4993
(=>
    (instance ?MOTION WaterMotion)
    (exists (?WATER)
        (and
            (patient ?MOTION ?WATER)
            (instance ?WATER Water))))
Merge.kif 11106-11111
(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER Water)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8415-8423
(=>
    (instance ?P Washing)
    (exists (?D ?W)
        (and
            (instance ?D Detergent)
            (instrument ?P ?D)
            (instance ?W Water)
            (instrument ?P ?W))))
Mid-level-ontology.kif 5271-5278
(=>
    (instance ?P WatercolorPaint)
    (exists (?W)
        (and
            (instance ?W Water)
            (part ?W ?P))))
Mid-level-ontology.kif 3159-3164
(=>
    (instance ?PROCESS Precipitation)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?PROCESS ?STUFF))))
Merge.kif 11082-11087

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 is open source software produced by Articulate Software and its partners