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 14446-14447
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 5902-5902	Water is a part of the mixture sodium lactate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33618-33618	room temperature state water and liquid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14445-14445	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 2835-2835	Brackish water is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2718-2718	Freshwater is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2731-2731	Ground water is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10182-10182	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 3480-3480	Rain is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2808-2808	Sea water is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27545-27545	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 961-961	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1129-1129	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	french_format.kif 638-638	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 169-169	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 172-172	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2322-2322	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 590-590	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 174-174	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 206-206	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 465-465	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 659-659	Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 173-173	Steam is a subclass of water

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2549-2555	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 26969-26979	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 2895-2897	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 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

No TPTP formula. May not be expressible in strict first order.	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
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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14556-14561	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 2497-2505	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 2483-2495	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 14262-14269	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 14911-14916	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 14918-14931	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 3320-3332	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 14711-14716	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 31413-31421	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 6137-6143	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 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11360-11365	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 11336-11341	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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27550-27558	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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26947-26962	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 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
No TPTP formula. May not be expressible in strict first order.	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: