Water - Sigma Knowledge base Browser

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 13656-13657
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 13655-13655	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 2692-2692	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 2705-2705	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 8555-8555	Ice 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 2956-2956	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 24682-24682	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 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
( ! [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 2523-2529	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
( ! [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 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
( ! [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 25847-25855	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 WaterHeater and device on is an attribute of the other object, then warm is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24305-24315	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
( ! [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 8361-8370	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

( ! [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 8558-8562	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__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	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 combustion 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
( ! [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 4451-4456	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
( ! [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 8353-8359	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
( ! [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 3988-3994	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
( ! [V__ALGA] : ((s__instance(V__ALGA,s__Alga) => (( ? [V__WATER] : ((s__inhabits(V__ALGA,V__WATER) & s__instance(V__WATER,s__Water)))))) ) )	Merge.kif 13766-13771	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
( ! [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 2471-2479	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
( ! [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 2457-2469	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
( ! [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 13486-13493	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
( ! [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 10191-10198	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
( ! [V__CLOUD] : ((s__instance(V__CLOUD,s__WaterCloud) => (( ? [V__WATER] : ((s__instance(V__WATER,s__Water) & s__part(V__WATER,V__CLOUD)))))) ) )	Merge.kif 14118-14123	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
( ! [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 14125-14138	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 exists a third object 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 a physical quantity and the measure of the other object is another physical quantity and the physical quantity is greater than the other physical quantity
( ! [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 20645-20652	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2796-2808	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
( ! [V__FISH] : ((s__instance(V__FISH,s__Fish) => (( ? [V__WATER] : ((s__inhabits(V__FISH,V__WATER) & s__instance(V__WATER,s__Water)))))) ) )	Merge.kif 13921-13926	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28550-28558	If a physical is an instance of FishTank, 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
( ! [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 5786-5792	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
( ! [V__LAWB] : ((s__instance(V__LAWB,s__LeadAcidWetBattery) => (s__material(s__Water,V__LAWB))) ) )	Cars.kif 2465-2467	If a corpuscular object is an instance of lead acid battery, then the corpuscular object is made of water
( ! [V__M] : ((s__instance(V__M,s__Mud) => (( ? [V__W] : ((s__instance(V__W,s__Water) & s__part(V__W,V__M)))))) ) )	Cars.kif 4988-4993	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
( ! [V__MOTION] : ((s__instance(V__MOTION,s__WaterMotion) => (( ? [V__WATER] : ((s__patient(V__MOTION,V__WATER) & s__instance(V__WATER,s__Water)))))) ) )	Merge.kif 10793-10798	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
( ! [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 8391-8399	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
( ! [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 5248-5255	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
( ! [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 3142-3147	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
( ! [V__PROCESS] : ((s__instance(V__PROCESS,s__Precipitation) => (( ? [V__STUFF] : ((s__instance(V__STUFF,s__Water) & s__patient(V__PROCESS,V__STUFF)))))) ) )	Merge.kif 10769-10774	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
( ! [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 1058-1070	If a transfer is an instance of raining, then there exist a collection and a kind of object such that the collection is an instance of collection and a kind of object is an instance of water and the kind of object is an instance of liquid drop and the kind of object is a member of the collection and the object transferred in the transfer is the collection and the minimum expected radius of the kind of object is 0.1 millimeter(s) and the maximum expected radius of the kind of object is 9 millimeter(s)

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: