Water - Sigma 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 14199-14200
(externalImage Water "http://upload.wikimedia.org/wikipedia/commons/2/24/ Drop_of_water_2003_03.jpg")	pictureList.kif 83-83
(roomTempState Water Liquid)	Mid-level-ontology.kif 31778-31778	roomTempState water and liquid
(subclass Water CompoundSubstance)	Merge.kif 14198-14198	Water is a subclass of compound substance

appearance as argument number 2

(subclass Freshwater Water)	Geography.kif 2728-2728	Freshwater is a subclass of water
(subclass Groundwater Water)	Geography.kif 2741-2741	Groundwater is a subclass of water
(subclass Ice Water)	Mid-level-ontology.kif 8943-8943	Ice is a subclass of water
(subclass Rain Water)	Weather.kif 2963-2963	Rain is a subclass of water
(subclass Steam Water)	Mid-level-ontology.kif 25743-25743	Steam is a subclass of water
(termFormat ChineseLanguage Water "水")	chinese_format.kif 961-961
(termFormat EnglishLanguage Water "water")	english_format.kif 1129-1129
(termFormat FrenchLanguage Water "eau")	french_format.kif 638-638
(termFormat Hindi Water "jala")	terms-hindi.txt 169-169
(termFormat ItalianLanguage Water "Acqua")	terms-it.txt 170-170
(termFormat JapaneseLanguage Water "水")	japanese_format.kif 2322-2322
(termFormat PortugueseLanguage Water "Agua")	portuguese_format.kif 590-590
(termFormat cb Water "tubig")	terms-cb.txt 174-174
(termFormat cz Water "water")	terms-cz.txt 206-206
(termFormat ro Water "apã")	relations-ro.kif 659-659
(termFormat tg Water "tubig")	terms-tg.txt 173-173

antecedent

(=> (and (instance ?PROCESS FreezingRain) (patient ?PROCESS ?STUFF) (instance ?STUFF Water)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROCESS)) (attribute ?STUFF Solid)))	Weather.kif 1091-1096	If a process is an instance of freezing rain and an entity is a patient of the process and the entity is an instance of water, then solid is an attribute of the entity holds during immediately after the time of existence of the process
(=> (and (instance ?RAINFALL Process) (patient ?RAINFALL ?RAIN) (instance ?RAIN Water) (measure ?RAIN (MeasureFn ?PH PHValue))) (lessThan ?PH 5.6))	Geography.kif 2559-2565	If a process is an instance of process and a physical is a patient of the process and the physical is an instance of water and the measure of the physical is a real number PH value(s), then the real number is less than 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	If an object is an instance of water and another object is an instance of mixture and the object is a part of the other object and a third object is an instance of antifreeze and the third object is a part of the other object and solid is an attribute of the other object and the measure of the other object is a real number celsius degree(s), then 32 is greater than the real number
(=> (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 26912-26920	If a self connected object is an instance of heated pool and the self connected object contains an object and the object is an instance of water and the self connected object is a part of another object and the other object is an instance of water heater and device on is an attribute of the other object, then warm is an attribute of the object
(=> (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 25368-25378	If an object is an instance of hot tub and a physical is located at the object and the physical is an instance of water, then the statement there exists an entity such that the entity is an instance of heating and the object is an instrument for the entity and the physical is a patient of the entity has the modal force of possibility
(=> (instance ?S Water) (capability Salination patient ?S))	Geography.kif 2833-2835	If an object is an instance of water, then the object is capable of doing salinifying as a patient
(=> (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 8749-8758	If an entity is an instance of water, then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of hydrogen and the other object is a resource for the process and the other object is an instance of oxygen and the entity is a result of the process

consequent

(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid)))	Mid-level-ontology.kif 8946-8950	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
(=> (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	If a collection is an instance of organization and utilities is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing or the object is an instance of sewage and the object is a patient of the agent and the object is an instance of electron or the object is an instance of water or the object is an instance of pure substance and the object is capable of doing burning as a patient and the process2 is a member of the collection and the agent2 is an instance of financial transaction and the process2 is an agent of the agent2 and the object is a patient of the agent2
(=> (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 9513-9526	If an object is an instance of plant and another object is a part of the object, then there exist a process, an entity and another kind of process such that the process is an instance of another kind of process and the other kind of process is a subclass of keeping and the entity is an instance of water and the entity is a patient of the process and the other object is capable of doing the other kind of process as a instrument and the other object is an instance of plant leaf or the other object is an instance of plant stem
(=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F Water))	Mid-level-ontology.kif 4701-4706	If a self connected object is an instance of swimming pool and the self connected object contains an object and the object is an instance of fluid, then the object is an instance of water
(=> (and (instance ?SOLUTION SalineSolution) (part ?PART ?SOLUTION)) (or (instance ?PART SodiumChloride) (instance ?PART Water)))	Mid-level-ontology.kif 8741-8747	If an object is an instance of saline solution and another object is a part of the object, then the other object is an instance of salt or the other object is an instance of water
(=> (attribute ?X WaterBed) (exists (?MATTRESS ?WATER) (and (component ?MATTRESS ?X) (contains ?MATTRESS ?WATER) (instance ?WATER Water))))	Mid-level-ontology.kif 4081-4087	If waterbed is an attribute of a corpuscular object, then there exist another corpuscular object and an object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object contains the object and the object is an instance of water
(=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water))))	Merge.kif 14309-14314	If an organism is an instance of alga, then there exists an object such that the organism lives in the object and the object is an instance of 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 2507-2515	If a process is an instance of acid rainfall, then there exist a physical and a real number such that the physical is an instance of water and the physical is a patient of the process and the measure of the physical is the real number PH value(s) and the real number is less than 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 2493-2505	If a process is an instance of acid rainfall, then there exist an object, another object,, , a third object and the third object2 such that the object is an instance of water and the object is a patient of the process and the other object is an instance of SulphurDioxide and the third object is an instance of NitricOxide and the third object2 is an instance of NitrogenDioxide and the other object is a part of the object or the third object is a part of the object or the third object2 is a part of the 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 14015-14022	If an object is an instance of water area, then there exist another object, a hole and a third object such that the host of the hole the hole is equal to the other object and the third object is an instance of water and the third object properly fills the hole and the union of the parts of the other object and the third object is equal to the object
(=> (instance ?BEVERAGE DistilledAlcoholicBeverage) (exists (?REMOVE ?WATER) (and (instance ?REMOVE Removing) (patient ?REMOVE ?WATER) (instance ?WATER Water) (origin ?REMOVE ?BEVERAGE))))	Mid-level-ontology.kif 10815-10822	If an object is an instance of distilled alcoholic beverage, then there exist a process and an entity such that the process is an instance of removing and the entity is a patient of the process and the entity is an instance of water and the process originates at the object
(=> (instance ?CLOUD WaterCloud) (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?CLOUD))))	Merge.kif 14663-14668	If an object is an instance of water cloud, then there exists another object such that the other object is an instance of water and the other object is a part of the object
(=> (instance ?CLOUD WaterCloud) (forall (?PART) (=> (and (part ?PART ?CLOUD) (not (instance ?PART Water))) (exists (?WATER ?MEASURE1 ?MEASURE2 ?U) (and (instance ?WATER Water) (part ?WATER ?CLOUD) (measure ?WATER (MeasureFn ?MEASURE1 ?U)) (measure ?PART (MeasureFn ?MEASURE2 ?U)) (greaterThan ?MEASURE1 ?MEASURE2))))))	Merge.kif 14670-14683	If an object is an instance of water cloud, then for all another object if the other object is a part of the object and the other object is not an instance of water, then there exist a third object, a real number,, , another real number and an unit of measure such that the third object is an instance of water and the third object is a part of the object and the measure of the third object is the real number the unit of measure(s) and the measure of the other object is the other real number the unit of measure(s) and the real number is greater than the other real number
(=> (instance ?D Dough) (exists (?F ?W) (and (instance ?F Flour) (instance ?W Water) (part ?F ?D) (part ?W ?D))))	Mid-level-ontology.kif 21514-21521	If an object is an instance of dough, then there exist another object and a third object such that the other object is an instance of flour and the third object is an instance of water and the other object is a part of the object and the third object is a part of the 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 2803-2815	If a transfer is an instance of drizzling, then there exist a collection, a self connected object and a real number such that the collection is an instance of collection and the self connected object is an instance of water and the self connected object is an instance of LiquidDrop and the self connected object is a member of the collection and the object transferred in the transfer is the collection and the approximate diameter of the self connected object is the real number millimeter(s) and the statement the real number is less than or equal to 0.5 has the modal force of likely
(=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water))))	Merge.kif 14464-14469	If an organism is an instance of fish, then there exists an object such that the organism lives in the object and the object is an instance of 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 29597-29605	If a physical is an instance of fish tank, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of water and the other entity is an instance of fish and the physical contains the entity and the physical contains the other entity
(=> (instance ?Glacier Glacier) (exists (?Water) (and (instance ?Water Water) (attribute ?Water Solid) (part ?Water ?Glacier))))	Geography.kif 5905-5911	If an object is an instance of glacier, then there exists another object such that the other object is an instance of water and solid is an attribute of the other object and the other object is a part of the object
(=> (instance ?LAWB LeadAcidWetBattery) (material Water ?LAWB))	Cars.kif 2465-2467	If a corpuscular object is an instance of lead acid battery, then the corpuscular object is made of water
(=> (instance ?M Mud) (exists (?W) (and (instance ?W Water) (part ?W ?M))))	Cars.kif 4985-4990	If an object is an instance of mud, then there exists another object such that the other object is an instance of water and the other object is a part of the object
(=> (instance ?MOTION WaterMotion) (exists (?WATER) (and (patient ?MOTION ?WATER) (instance ?WATER Water))))	Merge.kif 11203-11208	If a process is an instance of water motion, then there exists an entity such that the entity is a patient of the process and the entity is an instance of 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 8779-8787	If an object is an instance of oil, then there don't exist another object and a third object such that the other object is an instance of mixture and the third object is a part of the other object and the third object is an instance of water and the object is a part of the other object
(=> (instance ?P Washing) (exists (?D ?W) (and (instance ?D Detergent) (instrument ?P ?D) (instance ?W Water) (instrument ?P ?W))))	Mid-level-ontology.kif 5546-5553	If a process is an instance of washing, then there exist an object and another object such that the object is an instance of detergent and the object is an instrument for the process and the other object is an instance of water and the other object is an instrument for the process
(=> (instance ?P WatercolorPaint) (exists (?W) (and (instance ?W Water) (part ?W ?P))))	Mid-level-ontology.kif 3180-3185	If an object is an instance of watercolor paint, then there exists another object such that the other object is an instance of water and the other object is a part of the object
(=> (instance ?PROCESS Precipitation) (exists (?STUFF) (and (instance ?STUFF Water) (patient ?PROCESS ?STUFF))))	Merge.kif 11179-11184	If a process is an instance of precipitation, then there exists an entity such that the entity is an instance of water and the entity is a patient of the process

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

KB Term:			Term intersection

English Word: