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 14047-14048
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.	Merge.kif 14046-14046	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 2733-2733	Freshwater is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2746-2746	Groundwater is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8583-8583	Ice is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2962-2962	Rain is a subclass of water
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25036-25036	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

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1090-1095	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 2564-2570	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.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26201-26209	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 24661-24671	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.	Mid-level-ontology.kif 8389-8398	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 8586-8590	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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9162-9174	If an object is an instance of plant and another object is a part of the object, then there exist a kind of process and an entity such that a kind of process is an instance of keeping and the entity is an instance of water and the entity is a patient of the kind of process and the other object is capable of doing the kind of process as a instrument and the other object is an instance of PlantLeaf or the other object is an instance of PlantStem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4472-4477	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8381-8387	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 4009-4015	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 14157-14162	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 2512-2520	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 2498-2510	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 13877-13884	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.	Mid-level-ontology.kif 10432-10439	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14509-14514	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 14516-14529	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 and another real number 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 an 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.	Mid-level-ontology.kif 21001-21008	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 2802-2814	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 14312-14317	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 28904-28912	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5901-5907	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 2465-2467	If a corpuscular object is an instance of lead acid battery, then the corpuscular object is made of water
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11112-11117	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.	Mid-level-ontology.kif 8419-8427	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5275-5282	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3163-3168	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11088-11093	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: