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。") Merge.kif 14338-14339
(documentation Water EnglishLanguage "The Class of samples of the compound H20. Note that this Class covers both pure and impure Water.") Merge.kif 14336-14337
(externalImage Water "http://upload.wikimedia.org/wikipedia/commons/2/24/ Drop_of_water_2003_03.jpg") pictureList.kif 83-83 externalImage and "http://upload.wikimedia.org/wikipedia/commons/2/24/ Drop_of_water_2003_03.jpg"
(subclass Water CompoundSubstance) Merge.kif 14335-14335 复合物质subclass

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


(subclass Freshwater Water) Geography.kif 2658-2658 Freshwatersubclass
(subclass Groundwater Water) Geography.kif 2671-2671 Groundwatersubclass
(subclass Ice Water) Mid-level-ontology.kif 8649-8649 Icesubclass
(subclass Iceberg Water) Geography.kif 4417-4417 Icebergsubclass
(subclass Rain Water) Weather.kif 1403-1403 雨水subclass
(subclass Steam Water) Mid-level-ontology.kif 23562-23562 Steamsubclass
(termFormat ChineseLanguage Water "水") chinese_format.kif 961-961 termFormat ChineseLanguage, and "水"
(termFormat EnglishLanguage Water "water") english_format.kif 949-949 termFormat EnglishLanguage, and "water"
(termFormat JapaneseLanguage Water "水") english_format.kif 950-950 termFormat JapaneseLanguage, and "水"

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


(=>
    (and
        (instance ?PROCESS FreezingRain)
        (patient ?PROCESS ?STUFF)
        (instance ?STUFF Water))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?PROCESS))
        (attribute ?STUFF Solid)))
Weather.kif 703-708
(=>
    (and
        (instance ?RAINFALL Process)
        (patient ?RAINFALL ?RAIN)
        (instance ?RAIN Water)
        (measure ?RAIN
            (MeasureFn ?PH PHValue)))
    (lessThan ?PH 5.6))
Geography.kif 2490-2496
(=>
    (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 1223-1232
(=>
    (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 24976-24984
(=>
    (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 23195-23205
(=>
    (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 8458-8467

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


(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))
Mid-level-ontology.kif 8652-8656 客体Iceinstance 若且唯若 那个 客体instanceSolid那个 客体attribute
(=>
    (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 SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F Water))
Mid-level-ontology.kif 5056-5061
(=>
    (and
        (instance ?SOLUTION SalineSolution)
        (part ?PART ?SOLUTION))
    (or
        (instance ?PART SodiumChloride)
        (instance ?PART Water)))
Mid-level-ontology.kif 8450-8456
(=>
    (attribute ?X WaterBed)
    (exists (?MATTRESS ?WATER)
        (and
            (component ?MATTRESS ?X)
            (contains ?MATTRESS ?WATER)
            (instance ?WATER Water))))
Mid-level-ontology.kif 4588-4594
(=>
    (instance ?ALGA Alga)
    (exists (?WATER)
        (and
            (inhabits ?ALGA ?WATER)
            (instance ?WATER Water))))
Merge.kif 14470-14475
(=>
    (instance ?AR AcidRainfall)
    (exists (?RAIN ?PH)
        (and
            (instance ?RAIN Water)
            (patient ?AR ?RAIN)
            (measure ?RAIN
                (MeasureFn ?PH PHValue))
            (lessThan ?PH 5))))
Geography.kif 2438-2446
(=>
    (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 2424-2436
(=>
    (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 14135-14142
(=>
    (instance ?BEVERAGE DistilledAlcoholicBeverage)
    (exists (?REMOVE ?WATER)
        (and
            (instance ?REMOVE Removing)
            (patient ?REMOVE ?WATER)
            (instance ?WATER Water)
            (origin ?REMOVE ?BEVERAGE))))
Mid-level-ontology.kif 9358-9365
(=>
    (instance ?CLOUD WaterCloud)
    (exists (?WATER)
        (and
            (instance ?WATER Water)
            (part ?WATER ?CLOUD))))
Merge.kif 14898-14903
(=>
    (instance ?CLOUD WaterCloud)
    (forall (?PART)
        (=>
            (and
                (part ?PART ?CLOUD)
                (not
                    (instance ?PART Water)))
            (exists (?WATER)
                (and
                    (instance ?WATER Water)
                    (part ?WATER ?CLOUD)
                    (measure ?WATER ?MEASURE1)
                    (measure ?PART ?MEASURE2)
                    (greaterThan ?MEASURE1 ?MEASURE2))))))
Merge.kif 14905-14918
(=>
    (instance ?D Dough)
    (exists (?F ?W)
        (and
            (instance ?F Flour)
            (instance ?W Water)
            (part ?F ?D)
            (part ?W ?D))))
Mid-level-ontology.kif 19329-19336
(=>
    (instance ?DRIZZLE Drizzling)
    (exists (?RAIN ?CLTN ?R ?SIZE)
        (and
            (instance ?RAIN Raining)
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?RAIN ?CLTN)
            (approximateDiameter ?R
                (MeasureFn ?SIZE Millimeter))
            (modalAttribute
                (lessThanOrEqualTo ?SIZE 0.5) Likely))))
Weather.kif 1214-1227
(=>
    (instance ?FISH Fish)
    (exists (?WATER)
        (and
            (inhabits ?FISH ?WATER)
            (instance ?WATER Water))))
Merge.kif 14649-14654
(=>
    (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 27662-27670
(=>
    (instance ?Glacier Glacier)
    (exists (?Water)
        (and
            (instance ?Water Water)
            (attribute ?Water Solid)
            (part ?Ice ?Glacier))))
Geography.kif 5586-5592
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material Water ?LAWB))
Cars.kif 2451-2453
(=>
    (instance ?M Mud)
    (exists (?W)
        (and
            (instance ?W Water)
            (part ?W ?M))))
Cars.kif 4956-4961
(=>
    (instance ?MOTION WaterMotion)
    (exists (?WATER)
        (and
            (patient ?MOTION ?WATER)
            (instance ?WATER Water))))
Merge.kif 11215-11220
(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER Water)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8489-8496
(=>
    (instance ?P Washing)
    (exists (?D ?W)
        (and
            (instance ?D Detergent)
            (instrument ?P ?D)
            (instance ?W Water)
            (instrument ?P ?W))))
Mid-level-ontology.kif 5820-5827
(=>
    (instance ?P WatercolorPaint)
    (exists (?W)
        (and
            (instance ?W Water)
            (part ?W ?P))))
Mid-level-ontology.kif 3748-3753
(=>
    (instance ?PROCESS Precipitation)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?PROCESS ?STUFF))))
Merge.kif 11189-11194
(=>
    (instance ?RAIN Raining)
    (exists (?CLTN ?R)
        (and
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?RAIN ?CLTN)
            (defaultMinimumSphereRadius ?R
                (MeasureFn 0.1 Millimeter))
            (defaultMaximumSphereRadius ?R
                (MeasureFn 9 Millimeter)))))
Weather.kif 670-682

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners