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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 13308-13309
(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 13307-13307

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


(subclass Freshwater Water) Geography.kif 2692-2692
(subclass Groundwater Water) Geography.kif 2705-2705
(subclass Ice Water) Mid-level-ontology.kif 8633-8633
(subclass Rain Water) Weather.kif 2956-2956
(subclass Steam Water) Mid-level-ontology.kif 23606-23606
(termFormat ChineseLanguage Water "水") chinese_format.kif 961-961
(termFormat EnglishLanguage Water "water") english_format.kif 1134-1134

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


(=>
    (and
        (instance ?PROCESS FreezingRain)
        (patient ?PROCESS ?STUFF)
        (instance ?STUFF Water))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?PROCESS))
        (attribute ?STUFF Solid)))
Weather.kif 1091-1096
(=>
    (and
        (instance ?RAINFALL Process)
        (patient ?RAINFALL ?RAIN)
        (instance ?RAIN Water)
        (measure ?RAIN
            (MeasureFn ?PH PHValue)))
    (lessThan ?PH 5.6))
Geography.kif 2523-2529
(=>
    (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 1224-1233
(=>
    (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 25020-25028
(=>
    (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 23239-23249
(=>
    (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 8442-8451

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


(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))
Mid-level-ontology.kif 8636-8640
(=>
    (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 5057-5062
(=>
    (and
        (instance ?SOLUTION SalineSolution)
        (part ?PART ?SOLUTION))
    (or
        (instance ?PART SodiumChloride)
        (instance ?PART Water)))
Mid-level-ontology.kif 8434-8440
(=>
    (attribute ?X WaterBed)
    (exists (?MATTRESS ?WATER)
        (and
            (component ?MATTRESS ?X)
            (contains ?MATTRESS ?WATER)
            (instance ?WATER Water))))
Mid-level-ontology.kif 4589-4595
(=>
    (instance ?ALGA Alga)
    (exists (?WATER)
        (and
            (inhabits ?ALGA ?WATER)
            (instance ?WATER Water))))
Merge.kif 13418-13423
(=>
    (instance ?AR AcidRainfall)
    (exists (?RAIN ?PH)
        (and
            (instance ?RAIN Water)
            (patient ?AR ?RAIN)
            (measure ?RAIN
                (MeasureFn ?PH PHValue))
            (lessThan ?PH 5))))
Geography.kif 2471-2479
(=>
    (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 2457-2469
(=>
    (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 13138-13145
(=>
    (instance ?BEVERAGE DistilledAlcoholicBeverage)
    (exists (?REMOVE ?WATER)
        (and
            (instance ?REMOVE Removing)
            (patient ?REMOVE ?WATER)
            (instance ?WATER Water)
            (origin ?REMOVE ?BEVERAGE))))
Mid-level-ontology.kif 9342-9349
(=>
    (instance ?CLOUD WaterCloud)
    (exists (?WATER)
        (and
            (instance ?WATER Water)
            (part ?WATER ?CLOUD))))
Merge.kif 13761-13766
(=>
    (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 13768-13781
(=>
    (instance ?D Dough)
    (exists (?F ?W)
        (and
            (instance ?F Flour)
            (instance ?W Water)
            (part ?F ?D)
            (part ?W ?D))))
Mid-level-ontology.kif 19373-19380
(=>
    (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 2796-2808
(=>
    (instance ?FISH Fish)
    (exists (?WATER)
        (and
            (inhabits ?FISH ?WATER)
            (instance ?WATER Water))))
Merge.kif 13564-13569
(=>
    (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 27700-27708
(=>
    (instance ?Glacier Glacier)
    (exists (?Water)
        (and
            (instance ?Water Water)
            (attribute ?Water Solid)
            (part ?Water ?Glacier))))
Geography.kif 5785-5791
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material Water ?LAWB))
Cars.kif 2452-2454
(=>
    (instance ?M Mud)
    (exists (?W)
        (and
            (instance ?W Water)
            (part ?W ?M))))
Cars.kif 4966-4971
(=>
    (instance ?MOTION WaterMotion)
    (exists (?WATER)
        (and
            (patient ?MOTION ?WATER)
            (instance ?WATER Water))))
Merge.kif 10542-10547
(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER Water)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8473-8480
(=>
    (instance ?P Washing)
    (exists (?D ?W)
        (and
            (instance ?D Detergent)
            (instrument ?P ?D)
            (instance ?W Water)
            (instrument ?P ?W))))
Mid-level-ontology.kif 5826-5833
(=>
    (instance ?P WatercolorPaint)
    (exists (?W)
        (and
            (instance ?W Water)
            (part ?W ?P))))
Mid-level-ontology.kif 3750-3755
(=>
    (instance ?PROCESS Precipitation)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?PROCESS ?STUFF))))
Merge.kif 10518-10523
(=>
    (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 1058-1070

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