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 13246-13247
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 13245-13245 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 2670-2670 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 2683-2683 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 8652-8652 Ice is a subclass of water
s__instance(s__Water,s__SetOrClass)

s__subclass(s__Iceberg,s__Water)

s__instance(s__Iceberg,s__SetOrClass)

Geography.kif 4431-4431 Iceberg 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 1499-1499 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 23575-23575 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 702-707
( ! [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 2502-2508
( ! [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 1224-1233
( ! [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 24989-24997
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23208-23218
( ! [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 8461-8470

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 8655-8659 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__Object) &
           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 5051-5056
( ! [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 8453-8459
( ! [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 4583-4589
( ! [V__ALGA] :
   (s__instance(V__ALGA,s__Alga) =>
     ( ? [V__WATER] :
       ((s__inhabits(V__ALGA,V__WATER)
         &
         s__instance(V__WATER,s__Water))))
   )
)

Merge.kif 13356-13361
( ! [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 2450-2458
( ! [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 2436-2448
( ! [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 13076-13083
( ! [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 9361-9368
( ! [V__CLOUD] :
   (s__instance(V__CLOUD,s__WaterCloud) =>
     ( ? [V__WATER] :
       ((s__instance(V__WATER,s__Water) &
           s__part(V__WATER,V__CLOUD))))
   )
)

Merge.kif 13699-13704
( ! [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 13706-13719
( ! [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 19342-19349
No TPTP formula. May not be expressible in strict first order. Weather.kif 1311-1323
( ! [V__FISH] :
   (s__instance(V__FISH,s__Fish) =>
     ( ? [V__WATER] :
       ((s__inhabits(V__FISH,V__WATER)
         &
         s__instance(V__WATER,s__Water))))
   )
)

Merge.kif 13502-13507
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27667-27675
( ! [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 5601-5607
( ! [V__LAWB] :
   (s__instance(V__LAWB,s__LeadAcidWetBattery) =>
     s__material(s__Water,V__LAWB)
   )
)

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

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

Merge.kif 10474-10479
( ! [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 8492-8499
( ! [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 5820-5827
( ! [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 3744-3749
( ! [V__PROCESS] :
   (s__instance(V__PROCESS,s__Precipitation) =>
     ( ? [V__STUFF] :
       ((s__instance(V__STUFF,s__Water) &
           s__patient(V__PROCESS,V__STUFF))))
   )
)

Merge.kif 10450-10455
( ! [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 669-681

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