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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


s__documentation(s__Water,s__ChineseLanguage,'"这是复合物H20样品的 Class。注:这个 Class 同时包括纯正 和非纯正的 Water。"')

chinese_format.kif 3362-3363
s__documentation(s__Water,s__EnglishLanguage,'"The Class of samples of the compound H20. Note that this Class covers both pure and impure Water."')

Merge.kif 13656-13657
s__externalImage(s__Water,'"http://upload.wikimedia.org/wikipedia/commons/2/24/ Drop_of_water_2003_03.jpg"')

pictureList.kif 83-83
s__instance(s__Water,s__SetOrClass)

s__instance(s__CompoundSubstance,s__SetOrClass)

s__subclass(s__Water,s__CompoundSubstance)

Merge.kif 13655-13655 Water is a subclass of compound substance

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


s__instance(s__Water,s__SetOrClass)

s__subclass(s__Freshwater,s__Water)

s__instance(s__Freshwater,s__SetOrClass)

Geography.kif 2692-2692 Freshwater is a subclass of water
s__instance(s__Groundwater,s__SetOrClass)

s__instance(s__Water,s__SetOrClass)

s__subclass(s__Groundwater,s__Water)

Geography.kif 2705-2705 Groundwater is a subclass of water
s__instance(s__Water,s__SetOrClass)

s__instance(s__Ice,s__SetOrClass)

s__subclass(s__Ice,s__Water)

Mid-level-ontology.kif 8555-8555 Ice is a subclass of water
s__instance(s__Rain,s__SetOrClass)

s__instance(s__Water,s__SetOrClass)

s__subclass(s__Rain,s__Water)

Weather.kif 2956-2956 Rain is a subclass of water
s__instance(s__Steam,s__SetOrClass)

s__instance(s__Water,s__SetOrClass)

s__subclass(s__Steam,s__Water)

Mid-level-ontology.kif 24682-24682 Steam is a subclass of water
s__termFormat(s__ChineseLanguage,s__Water,'"水"')

chinese_format.kif 961-961
s__termFormat(s__EnglishLanguage,s__Water,'"water"')

english_format.kif 1134-1134

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1091-1096
( ! [V__RAINFALL,V__PH,V__RAIN] :
   ((s__instance(V__PH,s__RealNumber) =>
       (((s__instance(V__RAINFALL,s__Process) &
             s__patient(V__RAINFALL,V__RAIN)
           &
           s__instance(V__RAIN,s__Water) &
           s__measure(V__RAIN,s__MeasureFn(V__PH,s__PHValue)))
       =>
       (s__lessThan(V__PH,n__5_6)))))
)
)

Geography.kif 2523-2529
( ! [V__A,V__D,V__W,V__M] :
   ((s__instance(V__D,s__RealNumber) =>
       (((s__instance(V__W,s__Water) &
             s__instance(V__M,s__Mixture) &
             s__part(V__W,V__M)
           &
           s__instance(V__A,s__Antifreeze) &
           s__part(V__A,V__M)
         &
         s__attribute(V__M,s__Solid) &
         s__measure(V__M,s__MeasureFn(V__D,s__CelsiusDegree)))
     =>
     (s__greaterThan(n__32,V__D)))))
)
)

Cars.kif 1219-1228
( ! [V__WATER,V__X,V__HEATER] :
   (((s__instance(V__X,s__HeatedPool) &
         s__contains(V__X,V__WATER)
       &
       s__instance(V__WATER,s__Water) &
       s__part(V__X,V__HEATER)
     &
     s__instance(V__HEATER,s__WaterHeater) &
     s__attribute(V__HEATER,s__DeviceOn))
   =>
   (s__attribute(V__WATER,s__WarmTemperature)))
)
)

Mid-level-ontology.kif 25847-25855
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24305-24315
( ! [V__WATER] :
   ((s__instance(V__WATER,s__Water) =>
       (( ? [V__SYNTHESIS, V__HYDROGEN, V__OXYGEN] :
           ((s__instance(V__SYNTHESIS,s__ChemicalSynthesis) &
               s__resource(V__SYNTHESIS,V__HYDROGEN)
             &
             s__instance(V__HYDROGEN,s__Hydrogen) &
             s__resource(V__SYNTHESIS,V__OXYGEN)
           &
           s__instance(V__OXYGEN,s__Oxygen) &
           s__result(V__SYNTHESIS,V__WATER))))))
)
)

Mid-level-ontology.kif 8361-8370

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


( ! [V__ICE] :
   (((s__instance(V__ICE,s__Ice) =>
         (s__instance(V__ICE,s__Water) &
           s__attribute(V__ICE,s__Solid)))
       &
       ((s__instance(V__ICE,s__Water) &
           s__attribute(V__ICE,s__Solid))
         =>
         s__instance(V__ICE,s__Ice)))
     )
   )

Mid-level-ontology.kif 8558-8562 An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__Utilities))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   ((s__instance(V__EV,s__Removing) |
                       s__instance(V__THING,s__Sewage))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   (s__instance(V__THING,s__Electron) |
                     s__instance(V__THING,s__Water) |
                     (s__instance(V__THING,s__PureSubstance) &
                       s__capability(s__Combustion,s__patient__m,V__THING)))
                 &
                 s__member(V__MEM2,V__ORG)
               &
               s__instance(V__EV2,s__FinancialTransaction) &
               s__agent(V__EV2,V__MEM2)
             &
             s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 954-977
( ! [V__P,V__F] :
   (((s__instance(V__P,s__SwimmingPool) &
         s__contains(V__P,V__F)
       &
       s__instance(V__F,s__Fluid))
     =>
     (s__instance(V__F,s__Water)))
   )
)

Mid-level-ontology.kif 4451-4456
( ! [V__SOLUTION,V__PART] :
   ((s__instance(V__PART,s__Object) =>
       (((s__instance(V__SOLUTION,s__SalineSolution) &
             s__part(V__PART,V__SOLUTION))
         =>
         ((s__instance(V__PART,s__SodiumChloride) |
             s__instance(V__PART,s__Water))))))
   )
)

Mid-level-ontology.kif 8353-8359
( ! [V__X] :
   ((s__instance(V__X,s__CorpuscularObject) =>
       ((s__attribute(V__X,s__WaterBed) =>
           (( ? [V__MATTRESS, V__WATER] :
               ((s__instance(V__MATTRESS,s__CorpuscularObject) &
                   (s__component(V__MATTRESS,V__X)
                   &
                   s__contains(V__MATTRESS,V__WATER)
                 &
                 s__instance(V__WATER,s__Water)))))))))
)
)

Mid-level-ontology.kif 3988-3994
( ! [V__ALGA] :
   ((s__instance(V__ALGA,s__Alga) =>
       (( ? [V__WATER] :
           ((s__inhabits(V__ALGA,V__WATER)
             &
             s__instance(V__WATER,s__Water))))))
   )
)

Merge.kif 13766-13771
( ! [V__AR] :
   ((s__instance(V__AR,s__AcidRainfall) =>
       (( ? [V__RAIN, V__PH] :
           ((s__instance(V__PH,s__RealNumber) &
               (s__instance(V__RAIN,s__Water) &
                 s__patient(V__AR,V__RAIN)
               &
               s__measure(V__RAIN,s__MeasureFn(V__PH,s__PHValue))
             &
             s__lessThan(V__PH,n__5)))))))
)
)

Geography.kif 2471-2479
( ! [V__AR] :
   ((s__instance(V__AR,s__AcidRainfall) =>
       (( ? [V__RAIN, V__SO2, V__NO, V__NO2] :
           ((s__instance(V__RAIN,s__Water) &
               s__patient(V__AR,V__RAIN)
             &
             s__instance(V__SO2,s__SulphurDioxide) &
             s__instance(V__NO,s__NitricOxide) &
             s__instance(V__NO2,s__NitrogenDioxide) &
             (s__part(V__SO2,V__RAIN)
             |
             s__part(V__NO,V__RAIN)
           |
           s__part(V__NO2,V__RAIN)))))))
)
)

Geography.kif 2457-2469
( ! [V__AREA] :
   ((s__instance(V__AREA,s__WaterArea) =>
       (( ? [V__BED, V__HOLE, V__WATER] :
           ((s__instance(V__BED,s__Object) &
               s__instance(V__HOLE,s__Hole) &
               ((s__HoleHostFn(V__HOLE)
                 = V__BED)
               &
               s__instance(V__WATER,s__Water) &
               s__properlyFills(V__WATER,V__HOLE)
             &
             (s__MereologicalSumFn(V__BED,V__WATER)
             = V__AREA)))))))
)
)

Merge.kif 13486-13493
( ! [V__BEVERAGE] :
   ((s__instance(V__BEVERAGE,s__DistilledAlcoholicBeverage) =>
       (( ? [V__REMOVE, V__WATER] :
           ((s__instance(V__REMOVE,s__Removing) &
               s__patient(V__REMOVE,V__WATER)
             &
             s__instance(V__WATER,s__Water) &
             s__origin(V__REMOVE,V__BEVERAGE))))))
)
)

Mid-level-ontology.kif 10191-10198
( ! [V__CLOUD] :
   ((s__instance(V__CLOUD,s__WaterCloud) =>
       (( ? [V__WATER] :
           ((s__instance(V__WATER,s__Water) &
               s__part(V__WATER,V__CLOUD))))))
   )
)

Merge.kif 14118-14123
( ! [V__CLOUD,V__MEASURE1,V__MEASURE2] :
   (((s__instance(V__MEASURE1,s__PhysicalQuantity) &
         s__instance(V__MEASURE2,s__PhysicalQuantity))
       =>
       ((s__instance(V__CLOUD,s__WaterCloud) =>
           (( ! [V__PART] :
               ((s__instance(V__PART,s__Object) =>
                   (((s__part(V__PART,V__CLOUD)
                       &
                       ~(s__instance(V__PART,s__Water)))
                     =>
                     (( ? [V__WATER] :
                         ((s__instance(V__WATER,s__Water) &
                             s__part(V__WATER,V__CLOUD)
                           &
                           s__measure(V__WATER,V__MEASURE1)
                         &
                         s__measure(V__PART,V__MEASURE2)
                       &
                       s__greaterThan(V__MEASURE1,V__MEASURE2))))))))))))))
)
)

Merge.kif 14125-14138
( ! [V__D] :
   ((s__instance(V__D,s__Dough) =>
       (( ? [V__F, V__W] :
           ((s__instance(V__F,s__Flour) &
               s__instance(V__W,s__Water) &
               s__part(V__F,V__D)
             &
             s__part(V__W,V__D))))))
)
)

Mid-level-ontology.kif 20645-20652
No TPTP formula. May not be expressible in strict first order. Weather.kif 2796-2808
( ! [V__FISH] :
   ((s__instance(V__FISH,s__Fish) =>
       (( ? [V__WATER] :
           ((s__inhabits(V__FISH,V__WATER)
             &
             s__instance(V__WATER,s__Water))))))
   )
)

Merge.kif 13921-13926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28550-28558
( ! [V__Glacier] :
   ((s__instance(V__Glacier,s__Glacier) =>
       (( ? [V__Water] :
           ((s__instance(V__Water,s__Water) &
               s__attribute(V__Water,s__Solid) &
               s__part(V__Water,V__Glacier))))))
   )
)

Geography.kif 5786-5792
( ! [V__LAWB] :
   ((s__instance(V__LAWB,s__LeadAcidWetBattery) =>
       (s__material(s__Water,V__LAWB)))
   )
)

Cars.kif 2465-2467
( ! [V__M] :
   ((s__instance(V__M,s__Mud) =>
       (( ? [V__W] :
           ((s__instance(V__W,s__Water) &
               s__part(V__W,V__M))))))
   )
)

Cars.kif 4988-4993
( ! [V__MOTION] :
   ((s__instance(V__MOTION,s__WaterMotion) =>
       (( ? [V__WATER] :
           ((s__patient(V__MOTION,V__WATER)
             &
             s__instance(V__WATER,s__Water))))))
   )
)

Merge.kif 10793-10798
( ! [V__OIL] :
   ((s__instance(V__OIL,s__Oil) =>
       (~(( ? [V__MIX, V__WATER] :
             ((s__instance(V__MIX,s__Mixture) &
                 s__part(V__WATER,V__MIX)
               &
               s__instance(V__WATER,s__Water) &
               s__part(V__OIL,V__MIX)))))))
)
)

Mid-level-ontology.kif 8391-8399
( ! [V__P] :
   ((s__instance(V__P,s__Washing) =>
       (( ? [V__D, V__W] :
           ((s__instance(V__D,s__Detergent) &
               s__instrument(V__P,V__D)
             &
             s__instance(V__W,s__Water) &
             s__instrument(V__P,V__W))))))
)
)

Mid-level-ontology.kif 5248-5255
( ! [V__P] :
   ((s__instance(V__P,s__WatercolorPaint) =>
       (( ? [V__W] :
           ((s__instance(V__W,s__Water) &
               s__part(V__W,V__P))))))
   )
)

Mid-level-ontology.kif 3142-3147
( ! [V__PROCESS] :
   ((s__instance(V__PROCESS,s__Precipitation) =>
       (( ? [V__STUFF] :
           ((s__instance(V__STUFF,s__Water) &
               s__patient(V__PROCESS,V__STUFF))))))
   )
)

Merge.kif 10769-10774
( ! [V__RAIN] :
   ((s__instance(V__RAIN,s__Raining) =>
       (( ? [V__CLTN, V__R] :
           ((s__instance(V__CLTN,s__Collection) &
               s__instance(V__R,s__Water) &
               s__instance(V__R,s__LiquidDrop) &
               s__member(V__R,V__CLTN)
             &
             s__objectTransferred(V__RAIN,V__CLTN)
           &
           s__defaultMinimumSphereRadius(V__R,s__MeasureFn(n__0_1,s__Millimeter))
         &
         s__defaultMaximumSphereRadius(V__R,s__MeasureFn(n__9,s__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