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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Water
Water
مَاء, Acqua, Agua, 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, eau, floodhead, fresh, glacial, hail, heavy_water, holy_water, ice_cube, ice_shelf, ice_water, jala, meltwater, mineral_water, rain, rainwater, sea_spray, sedimentary, seltzer, shelf_ice, slush, snow_bank, snowbank, soda_water, soft_water, sparkling_water, spindrift, spoondrift...

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


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

Merge.kif 14280-14281
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 14278-14279
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__CompoundSubstance,s__SetOrClass)

Merge.kif 14277-14277

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


s__instance(s__Freshwater,s__SetOrClass)

Geography.kif 2658-2658
s__instance(s__Groundwater,s__SetOrClass)

Geography.kif 2671-2671
s__subclass(s__Ice,s__Water)

Mid-level-ontology.kif 8649-8649
s__instance(s__Iceberg,s__SetOrClass)

Geography.kif 4418-4418
s__subclass(s__Rain,s__Water)

Weather.kif 1403-1403
s__instance(s__Steam,s__SetOrClass)

Mid-level-ontology.kif 23482-23482
s__termFormat(s__ChineseLanguage,s__Water,'水')

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

english_format.kif 648-648
s__termFormat(s__FrenchLanguage,s__Water,'eau')

french_format.kif 638-638
s__termFormat(s__Hindi,s__Water,'jala')

terms-hindi.txt 169-169
s__termFormat(s__ItalianLanguage,s__Water,'Acqua')

terms-it.txt 170-170
s__termFormat(s__PortugueseLanguage,s__Water,'Agua')

portuguese_format.kif 590-590
s__termFormat(s__ar__m,s__Water,'مَاء')

arabic_format.kif 374-374
s__termFormat(s__cb__m,s__Water,'tubig')

terms-cb.txt 174-174
s__termFormat(s__cz__m,s__Water,'water')

terms-cz.txt 206-206
s__termFormat(s__tg__m,s__Water,'tubig')

terms-tg.txt 173-173

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 703-708
( ! [V__RAINFALL,V__RAIN,V__PH] :
   ((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,5.6))
)

Geography.kif 2490-2496
( ! [V__W,V__M,V__A,V__D] :
   ((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(32,V__D))
)

Cars.kif 1223-1232
( ! [V__X,V__WATER,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 24896-24904
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23164-23174
( ! [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 8458-8467

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


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

Mid-level-ontology.kif 8652-8656
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__Utilities))
     =>
     (? [V__EV,V__MEM] :
       (s__member(V__MEM,V__ORG)
       &
       s__agent(V__MEM,V__EV)
     &
     (? [V__THING,V__MEM2,V__EV2] :
       ((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 5056-5061
( ! [V__SOLUTION,V__PART] :
   ((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 8450-8456
( ! [V__X] :
   (s__attribute(V__X,s__WaterBed) =>
     (? [V__MATTRESS,V__WATER] :
       (s__component(V__MATTRESS,V__X)
       &
       s__contains(V__MATTRESS,V__WATER)
     &
     s__instance(V__WATER,s__Water))))
)

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

Merge.kif 14412-14417
( ! [V__AR] :
   (s__instance(V__AR,s__AcidRainfall) =>
     (? [V__RAIN,V__PH] :
       (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,5))))
)

Geography.kif 2438-2446
( ! [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 2424-2436
( ! [V__AREA] :
   (s__instance(V__AREA,s__WaterArea) =>
     (? [V__BED,V__HOLE,V__WATER] :
       ((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 14077-14084
( ! [V__B] :
   (s__instance(V__B,s__Beer) =>
     (? [V__BREW,V__W,V__M] :
       (s__instance(V__BREW,s__Fermentation) &
         s__instance(V__W,s__Water) &
         s__instance(V__M,s__Malt) &
         s__resource(V__BREW,V__W)
       &
       s__resource(V__BREW,V__M)
     &
     s__result(V__BREW,V__B))))
)

Society.kif 1158-1167
( ! [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 9358-9365
( ! [V__CLOUD] :
   (s__instance(V__CLOUD,s__WaterCloud) =>
     (? [V__WATER] :
       (s__instance(V__WATER,s__Water) &
         s__part(V__WATER,V__CLOUD))))
)

Merge.kif 14840-14845
( ! [V__CLOUD,V__MEASURE1,V__MEASURE2] :
   (s__instance(V__CLOUD,s__WaterCloud) =>
     (! [V__PART] :
       ((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 14847-14860
( ! [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 19271-19278
No TPTP formula. May not be expressible in strict first order. Weather.kif 1214-1227
( ! [V__FISH] :
   (s__instance(V__FISH,s__Fish) =>
     (? [V__WATER] :
       (s__inhabits(V__FISH,V__WATER)
       &
       s__instance(V__WATER,s__Water))))
)

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

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

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

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

Merge.kif 11157-11162
( ! [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 8489-8496
( ! [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 3748-3753
( ! [V__PROCESS] :
   (s__instance(V__PROCESS,s__Precipitation) =>
     (? [V__STUFF] :
       (s__instance(V__STUFF,s__Water) &
         s__patient(V__PROCESS,V__STUFF))))
)

Merge.kif 11131-11136

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