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 14461-14462
(externalImage Water "http://upload.wikimedia.org/wikipedia/commons/2/24/ Drop_of_water_2003_03.jpg")	pictureList.kif 83-83
(mixturePartType Water SodiumLactate)	Medicine.kif 5902-5902	Water is a part of the mixture sodium lactate
(roomTempState Water Liquid)	Mid-level-ontology.kif 33616-33616	room temperature state water and liquid
(subclass Water CompoundSubstance)	Merge.kif 14460-14460	Water is a subclass of compound substance

appearance as argument number 2

(subclass BrackishWater Water)	Geography.kif 2972-2972	Brackish water is a subclass of water
(subclass FreshWater Water)	Geography.kif 2855-2855	Freshwater is a subclass of water
(subclass GroundWater Water)	Geography.kif 2868-2868	Ground water is a subclass of water
(subclass Ice Water)	Mid-level-ontology.kif 10182-10182	Ice is a subclass of water
(subclass PurifiedWater Water)	Food.kif 237-237	Purified water is a subclass of water
(subclass Rain Water)	Weather.kif 3649-3649	Rain is a subclass of water
(subclass SeaWater Water)	Geography.kif 2945-2945	Sea water is a subclass of water
(subclass Steam Water)	Mid-level-ontology.kif 27543-27543	Steam is a subclass of water
(termFormat ChineseLanguage Water "水")	chinese_format.kif 961-961	Steam is a subclass of water
(termFormat EnglishLanguage Water "water")	english_format.kif 1129-1129	Steam is a subclass of water
(termFormat FrenchLanguage Water "eau")	french_format.kif 638-638	Steam is a subclass of water
(termFormat Hindi Water "jala")	terms-hindi.txt 169-169	Steam is a subclass of water
(termFormat ItalianLanguage Water "Acqua")	terms-it.txt 172-172	Steam is a subclass of water
(termFormat JapaneseLanguage Water "水")	japanese_format.kif 2322-2322	Steam is a subclass of water
(termFormat PortugueseLanguage Water "Agua")	portuguese_format.kif 590-590	Steam is a subclass of water
(termFormat cb Water "tubig")	terms-cb.txt 174-174	Steam is a subclass of water
(termFormat cz Water "water")	terms-cz.txt 206-206	Steam is a subclass of water
(termFormat de Water "Wasser")	terms-de.txt 465-465	Steam is a subclass of water
(termFormat ro Water "apã")	relations-ro.kif 659-659	Steam is a subclass of water
(termFormat tg Water "tubig")	terms-tg.txt 173-173	Steam is a subclass of water

antecedent

(=> (and (instance ?PROCESS FreezingRain) (patient ?PROCESS ?STUFF) (instance ?STUFF Water)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROCESS)) (attribute ?STUFF Solid)))	Weather.kif 1326-1331	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 2686-2692	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 ?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 26967-26977	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 3032-3034	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 9988-9997	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 10185-10189	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 ?SOLUTION SalineSolution) (part ?PART ?SOLUTION)) (or (instance ?PART SodiumChloride) (instance ?PART Water)))	Mid-level-ontology.kif 9980-9986	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 4557-4563	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 14571-14576	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 2634-2642	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 2620-2632	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 sulphur dioxide and the third object is an instance of nitric oxide and the third object2 is an instance of nitrogen dioxide 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 14277-14284	If an object is an instance of water area, then there exist another object, a hole and a third object such that equal the host of the hole the hole and the other object and the third object is an instance of water and the third object properly fills the hole and equal the union of the parts of the other object and the third object and the object
(=> (instance ?CLOUD WaterCloud) (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?CLOUD))))	Merge.kif 14926-14931	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 14933-14946	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 ?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 3489-3501	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 liquid drop 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 14726-14731	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 31411-31419	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 6274-6280	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 ?M Mud) (exists (?W) (and (instance ?W Water) (part ?W ?M))))	Cars.kif 5046-5051	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 11375-11380	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 ?PROCESS Precipitation) (exists (?STUFF) (and (instance ?STUFF Water) (patient ?PROCESS ?STUFF))))	Merge.kif 11351-11356	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
(=> (instance ?PW PurifiedWater) (exists (?R ?W ?S) (and (instance ?R Removing) (origin ?R ?W) (instance ?W Water) (patient ?R ?S) (instance ?S Substance) (part ?S ?W) (result ?R ?PW))))	Food.kif 248-258	If an entity is an instance of purified water, then there exist a process, an object and another object such that the process is an instance of removing and the process originates at the object and the object is an instance of water and the other object is a patient of the process and the other object is an instance of substance and the other object is a part of the object and the entity is a result of the process
(=> (instance ?RAIN Raining) (exists (?CLTN ?R ?CLASS) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (instance ?R ?CLASS (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 9.0 Millimeter))))))	Weather.kif 1292-1305	If an entity is an instance of raining, then there exist another entity, a third entity and a class such that the other entity is an instance of collection and the third entity is an instance of water and the third entity is an instance of liquid drop and the third entity is an instance of the class
(=> (instance ?STEAM Steam) (exists (?BOIL ?WATER) (and (instance ?BOIL Boiling) (instance ?WATER Water) (patient ?BOIL ?WATER) (result ?BOIL ?STEAM) (attribute ?STEAM Gas))))	Mid-level-ontology.kif 27548-27556	If an object is an instance of steam, then there exist a process and an entity such that the process is an instance of boiling and the entity is an instance of water and the entity is a patient of the process and the object is a result of the process and gas is an attribute of the object
(=> (instance ?SVC DryCleaningService) (exists (?CLOTHES ?WATER ?CHEM) (and (instance ?CLOTHES Clothing) (not (instrument ?SVC ?WATER)) (instance ?WATER Water) (instance ?CHEM ChemicalProduct) (instrument ?SVC ?CHEM) (patient ?SVC ?CLOTHES) (result ?SVC (attribute ?CLOTHES Clean)))))	Hotel.kif 1820-1830	If a process is an instance of dry-clean, then there exist an entity, an object and another object such that the entity is an instance of clothing and the object is not an instrument for the process and the object is an instance of water and the other object is an instance of chemical product and the other object is an instrument for the process and the entity is a patient of the process and clean is an attribute of the entity is a result of the process
(=> (instance ?TUB BathTub) (hasPurpose ?TUB (exists (?WATER) (and (instance ?WATER Water) (contains ?TUB ?WATER)))))	Mid-level-ontology.kif 2517-2523	If a physical is an instance of tub, then the physical has the purpose there exists an entity such that the entity is an instance of water and the physical contains the entity
(=> (instance ?TUB WhirlpoolTub) (exists (?VALVE) (and (instance ?VALVE PressureControlValve) (part ?VALVE ?TUB) (hasPurpose ?VALVE (exists (?WATER ?CREATION ?MOTION) (and (instance ?WATER Water) (located ?WATER ?TUB) (instance ?CREATION Creation) (instrument ?CREATION ?VALVE) (result ?CREATION ?MOTION) (instance ?MOTION Motion) (located ?MOTION ?WATER)))))))	Mid-level-ontology.kif 26945-26960	If an object is an instance of whirlpool tub, then there exists another object such that the other object is an instance of pressure control valve and the other object is a part of the object and the other object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of water and the entity is located at the object and the other entity is an instance of creation and the other object is an instrument for the other entity and the third entity is a result of the other entity and the third entity is an instance of motion and the third entity is located at the entity
(=> (instance ?X WaterSport) (exists (?W) (and (or (instance ?W WaterArea) (and (instance ?W FluidContainer) (exists (?WATER) (and (instance ?WATER Water) (located ?WATER ?W))))) (eventLocated ?X ?W))))	Sports.kif 1225-1237	If a process is an instance of water sport, then there exists an object such that the object is an instance of water area or the object is an instance of fluid container and there exists the objectATER such that the objectATER is an instance of water and the objectATER is located at the object and the process is located at the object
(=> (instance ?X WaterVehicle) (hasPurpose ?X (exists (?EV ?SURF) (and (instance ?SURF Water) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?SURF))))))	Mid-level-ontology.kif 3930-3939	If a physical is an instance of water vehicle, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of water and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity

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: