TreeView 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 14354-14355
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 31703-31703	roomTempState water and liquid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14353-14353	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 9003-9003	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 2946-2946	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 25678-25678	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 1075-1080	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 25362-25372	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 8809-8818	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 9006-9010	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 8801-8807	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 4107-4113	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 14464-14469	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 14170-14177	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 14819-14824	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 14826-14839	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 2786-2798	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 14619-14624	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 29543-29551	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 4970-4975	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 11271-11276	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 11247-11252	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 1041-1054	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 25683-25691	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 2047-2053	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 25340-25355	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 1212-1224	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 3480-3489	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: