Water - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3362-3363
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14308-14309
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 83-83
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5885-5885	Water is a part of the mixture SodiumLactate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31671-31671	roomTempState water and liquid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14307-14307	Water is a subclass of compound substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2847-2847	Brackish water is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2730-2730	Freshwater is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2743-2743	Ground water is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8976-8976	Ice is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Food.kif 237-237	Purified water is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2963-2963	Rain is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2820-2820	Sea water is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25645-25645	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 961-961
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1129-1129
No TPTP formula. May not be expressible in strict first order.	french_format.kif 638-638
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 169-169
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 172-172
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2322-2322
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 590-590
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 174-174
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 206-206
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 659-659
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 173-173

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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2561-2567	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25305-25315	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2907-2909	If an object is an instance of water, then the object is capable of doing salinifying as a patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8782-8791	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8979-8983	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8774-8780	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4114-4120	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14418-14423	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2509-2517	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2495-2507	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14124-14131	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14773-14778	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14780-14793	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
No TPTP formula. May not be expressible in strict first order.	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 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14573-14578	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 29492-29500	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6004-6010	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11237-11242	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11213-11218	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1057-1070	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25650-25658	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1809-1819	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2054-2060	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25283-25298	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
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1211-1223	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3487-3496	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: