TreeView Knowledge Base Browser

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 14063-14064
(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 14062-14062	subclass Water and CompoundSubstance

appearance as argument number 2

(subclass Freshwater Water)	Geography.kif 2733-2733	subclass Freshwater and Water
(subclass Groundwater Water)	Geography.kif 2746-2746	subclass Groundwater and Water
(subclass Ice Water)	Mid-level-ontology.kif 8625-8625	subclass Ice and Water
(subclass Rain Water)	Weather.kif 2962-2962	subclass Rain and Water
(subclass Steam Water)	Mid-level-ontology.kif 25129-25129	subclass Steam and Water
(termFormat ChineseLanguage Water "水")	chinese_format.kif 961-961
(termFormat EnglishLanguage Water "water")	english_format.kif 1129-1129

antecedent

(=> (and (instance ?PROCESS FreezingRain) (patient ?PROCESS ?STUFF) (instance ?STUFF Water)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROCESS)) (attribute ?STUFF Solid)))	Weather.kif 1090-1095	instance Process and FreezingRain patient Process and Entity instance Entity and Water holdsDuring ImmediateFutureFn WhenFn Process and attribute Entity and Solid
(=> (and (instance ?RAINFALL Process) (patient ?RAINFALL ?RAIN) (instance ?RAIN Water) (measure ?RAIN (MeasureFn ?PH PHValue))) (lessThan ?PH 5.6))	Geography.kif 2564-2570	instance Process and Process patient Process and Physical instance Physical and Water measure Physical and MeasureFn RealNumber and PHValue lessThan RealNumber and 5.6
(=> (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 1219-1228	instance Object and Water instance Object and Mixture part Object and Object instance Object and Antifreeze part Object and Object attribute Object and Solid measure Object and MeasureFn RealNumber and CelsiusDegree greaterThan 32 and RealNumber
(=> (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 26293-26301	instance SelfConnectedObject and HeatedPool SelfConnectedObject は Object を contains %n{ない} instance Object and Water part SelfConnectedObject and Object instance Object and WaterHeater attribute Object and DeviceOn attribute Object and WarmTemperature
(=> (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 24754-24764	instance Object and HotTub located Physical and Object instance Physical and Water modalAttribute entity instance entity and Heating instrument entity and Object patient entity and Physical and Possibility
(=> (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 8431-8440	instance Entity and Water Process Object and Object instance Process and ChemicalSynthesis resource Process and Object instance Object and Hydrogen resource Process and Object instance Object and Oxygen result Process and Entity

consequent

(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid)))	Mid-level-ontology.kif 8628-8632	instance Object and Ice instance Object and Water attribute Object and Solid
(=> (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	instance Collection and Organization attribute Collection and Utilities Agent Process member Process and Collection agent Process and Agent Object Process and Agent instance Agent and Removing instance Object and Sewage patient Agent and Object instance Object and Electron instance Object and Water instance Object and PureSubstance capability Combustion, patient and Object member Process and Collection instance Agent and FinancialTransaction agent Agent and Process patient Agent and Object
(=> (and (instance ?P Plant) (part ?TIS ?P)) (exists (?K ?W ?CLASS) (and (instance ?K ?CLASS) (subclass ?CLASS Keeping) (instance ?W Water) (patient ?K ?W) (capability ?CLASS instrument ?TIS) (or (instance ?TIS PlantLeaf) (instance ?TIS PlantStem)))))	Mid-level-ontology.kif 9207-9220	instance Object and Plant part Object and Object Process Entity and Process instance Process and Process subclass Process and Keeping instance Entity and Water patient Process and Entity capability Process, instrument and Object instance Object and PlantLeaf instance Object and PlantStem
(=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F Water))	Mid-level-ontology.kif 4484-4489	instance SelfConnectedObject and SwimmingPool SelfConnectedObject は Object を contains %n{ない} instance Object and Fluid instance Object and Water
(=> (and (instance ?SOLUTION SalineSolution) (part ?PART ?SOLUTION)) (or (instance ?PART SodiumChloride) (instance ?PART Water)))	Mid-level-ontology.kif 8423-8429	instance Object and SalineSolution part Object and Object instance Object and SodiumChloride instance Object and Water
(=> (attribute ?X WaterBed) (exists (?MATTRESS ?WATER) (and (component ?MATTRESS ?X) (contains ?MATTRESS ?WATER) (instance ?WATER Water))))	Mid-level-ontology.kif 4021-4027	attribute CorpuscularObject and WaterBed CorpuscularObject Object component CorpuscularObject and CorpuscularObject CorpuscularObject は Object を contains %n{ない} instance Object and Water
(=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water))))	Merge.kif 14173-14178	instance Organism and Alga Object inhabits Organism and Object instance Object and Water
(=> (instance ?AR AcidRainfall) (exists (?RAIN ?PH) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (measure ?RAIN (MeasureFn ?PH PHValue)) (lessThan ?PH 5.0))))	Geography.kif 2512-2520	instance Process and AcidRainfall Physical RealNumber instance Physical and Water patient Process and Physical measure Physical and MeasureFn RealNumber and PHValue lessThan RealNumber and 5.0
(=> (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 2498-2510	instance Process and AcidRainfall Object Object, Object and Object instance Object and Water patient Process and Object instance Object and SulphurDioxide instance Object and NitricOxide instance Object and NitrogenDioxide part Object and Object part Object and Object part Object and Object
(=> (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 13893-13900	instance Object and WaterArea Object Hole and Object equal HoleHostFn Hole and Object instance Object and Water properlyFills Object and Hole equal MereologicalSumFn Object and Object and Object
(=> (instance ?BEVERAGE DistilledAlcoholicBeverage) (exists (?REMOVE ?WATER) (and (instance ?REMOVE Removing) (patient ?REMOVE ?WATER) (instance ?WATER Water) (origin ?REMOVE ?BEVERAGE))))	Mid-level-ontology.kif 10481-10488	instance Object and DistilledAlcoholicBeverage Process Entity instance Process and Removing patient Process and Entity instance Entity and Water origin Process and Object
(=> (instance ?CLOUD WaterCloud) (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?CLOUD))))	Merge.kif 14525-14530	instance Object and WaterCloud Object instance Object and Water part Object and Object
(=> (instance ?CLOUD WaterCloud) (forall (?PART) (=> (and (part ?PART ?CLOUD) (not (instance ?PART Water))) (exists (?WATER ?MEASURE1 ?MEASURE2) (and (instance ?WATER Water) (part ?WATER ?CLOUD) (measure ?WATER (MeasureFn ?MEASURE1 ?U)) (measure ?PART (MeasureFn ?MEASURE2 ?U)) (greaterThan ?MEASURE1 ?MEASURE2))))))	Merge.kif 14532-14545	instance Object and WaterCloud Object part Object and Object instance Object and Water Object RealNumber and RealNumber instance Object and Water part Object and Object measure Object and MeasureFn RealNumber and UnitOfMeasure measure Object and MeasureFn RealNumber and UnitOfMeasure greaterThan RealNumber and RealNumber
(=> (instance ?D Dough) (exists (?F ?W) (and (instance ?F Flour) (instance ?W Water) (part ?F ?D) (part ?W ?D))))	Mid-level-ontology.kif 21085-21092	instance Object and Dough Object Object instance Object and Flour instance Object and Water part Object and Object part Object and Object
(=> (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 2802-2814	instance Transfer and Drizzling Collection SelfConnectedObject and RealNumber instance Collection and Collection instance SelfConnectedObject and Water instance SelfConnectedObject and LiquidDrop member SelfConnectedObject and Collection objectTransferred Transfer and Collection approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Millimeter modalAttribute lessThanOrEqualTo RealNumber and 0.5 and Likely
(=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water))))	Merge.kif 14328-14333	instance Organism and Fish Object inhabits Organism and Object instance Object and Water
(=> (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 28996-29004	instance Physical and FishTank hasPurpose Physical and entity entity instance entity and Water instance entity and Fish Physical は entity を contains %n{ない} Physical は entity を contains %n{ない}
(=> (instance ?Glacier Glacier) (exists (?Water) (and (instance ?Water Water) (attribute ?Water Solid) (part ?Water ?Glacier))))	Geography.kif 5901-5907	instance Object and Glacier Object instance Object and Water attribute Object and Solid part Object and Object
(=> (instance ?LAWB LeadAcidWetBattery) (material Water ?LAWB))	Cars.kif 2465-2467	instance CorpuscularObject and LeadAcidWetBattery material Water and CorpuscularObject
(=> (instance ?M Mud) (exists (?W) (and (instance ?W Water) (part ?W ?M))))	Cars.kif 4988-4993	instance Object and Mud Object instance Object and Water part Object and Object
(=> (instance ?MOTION WaterMotion) (exists (?WATER) (and (patient ?MOTION ?WATER) (instance ?WATER Water))))	Merge.kif 11119-11124	instance Process and WaterMotion Entity patient Process and Entity instance Entity and Water
(=> (instance ?OIL Oil) (not (exists (?MIX ?WATER) (and (instance ?MIX Mixture) (part ?WATER ?MIX) (instance ?WATER Water) (part ?OIL ?MIX)))))	Mid-level-ontology.kif 8461-8469	instance Object and Oil Object Object instance Object and Mixture part Object and Object instance Object and Water part Object and Object
(=> (instance ?P Washing) (exists (?D ?W) (and (instance ?D Detergent) (instrument ?P ?D) (instance ?W Water) (instrument ?P ?W))))	Mid-level-ontology.kif 5294-5301	instance Process and Washing Object Object instance Object and Detergent instrument Process and Object instance Object and Water instrument Process and Object
(=> (instance ?P WatercolorPaint) (exists (?W) (and (instance ?W Water) (part ?W ?P))))	Mid-level-ontology.kif 3169-3174	instance Object and WatercolorPaint Object instance Object and Water part Object and Object
(=> (instance ?PROCESS Precipitation) (exists (?STUFF) (and (instance ?STUFF Water) (patient ?PROCESS ?STUFF))))	Merge.kif 11095-11100	instance Process and Precipitation Entity instance Entity and Water patient Process and Entity

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

KB Term:			Term intersection

English Word: