Liquid - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3928-3929
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17740-17741
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17738-17738	Liquid is an instance of physical state
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17739-17739	Liquid is a subattribute of fluid

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17725-17725	Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33385-33385	room temperature state Absolut and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33503-33503	room temperature state alcohol and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33366-33366	room temperature state alcoholic beverage and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33504-33504	room temperature state aldosterone and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33505-33505	room temperature state alkaloid and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33373-33373	room temperature state amaretto and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33507-33507	room temperature state amino acid and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33370-33370	room temperature state aperitif and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33510-33510	room temperature state atropine and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33381-33381	room temperature state Bacardi and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33511-33511	room temperature state bacitracin and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33374-33374	room temperature state Baileys and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33390-33390	room temperature state beer and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33362-33362	room temperature state beverage and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33498-33498	room temperature state blood agent and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33399-33399	room temperature state boron and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33389-33389	room temperature state brandy and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33430-33430	room temperature state bromine and liquid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3177-3177	room temperature state buttermilk and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33371-33371	room temperature state Campari and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33375-33375	room temperature state Chambord and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33368-33368	room temperature state champagne and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33520-33520	room temperature state chemical acid and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33521-33521	room temperature state chemical base and liquid

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 17726-17726

Solid are all the attributes of physical state

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1748-1768	If a physical is an instance of cavitating and a self connected object is an instance of pump and device on is an attribute of the self connected object and liquid is an attribute of an object and the self connected object contains the object, then there exist the self connected objectP and an entity such that the self connected objectP is a part of the self connected object and the self connected objectP has the purpose liquid is an attribute of the entity and the entity meets the self connected objectP and there doesn't exist another entity such that liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7849-7858	If an object is an instance of colloid and another object is a part of the object and solid is an attribute of the other object or liquid is an attribute of the other object and a third object is an instance of air and the third object is a part of the object, then the object is an instance of aerosal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17777-17784	If an object is an instance of substance and gas is an attribute of the object or liquid is an attribute of the object or plasma is an attribute of the object, then fluid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33624-33635	If room temperature state a kind of substance and a physical state and a physical is an instance of a kind of substance and room temperature state the kind of substance and liquid holds during a time position and the measure of the physical is 101 1 thousand pascals(s), then the measure of the physical is 68 fahrenheit degree(s) holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14096-14098	If liquid is an attribute of an object, then the object is capable of doing boiling as a patient

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10416-10420	If a process is an instance of drinking and an object is a resource for the process, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14086-14094	If a process is an instance of boiling and an object is a patient of the process, then there exists another object such that the other object is a part of the object and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5137-5141	If a self connected object is an instance of bottle and the self connected object contains an object, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1748-1768	If a physical is an instance of cavitating and a self connected object is an instance of pump and device on is an attribute of the self connected object and liquid is an attribute of an object and the self connected object contains the object, then there exist the self connected objectP and an entity such that the self connected objectP is a part of the self connected object and the self connected objectP has the purpose liquid is an attribute of the entity and the entity meets the self connected objectP and there doesn't exist another entity such that liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14132-14140	If a process is an instance of condensing and an object is a patient of the process, then there exists another object such that the other object is a part of the object and gas is an attribute of the other object holds during the beginning of the time of existence of the process and liquid is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7301-7318	If a process is an instance of deposition and an object is a patient of the process, then there exists another object such that the other object is a part of the object and gas is an attribute of the other object holds during the beginning of the time of existence of the process and solid is an attribute of the other object holds during the end of the time of existence of the process and liquid is an attribute of the other object doesn't hold during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11293-11305	If a process is an instance of swelling and an agent experiences the process, then there exist a motion, an object and another object such that the motion is an instance of transfer and the other object is an instance of liquid and the object is an instance of body part and the object is a part of the agent and the motion ends up at the object and the other object moves during the motion and the motion is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14106-14119	If a process is an instance of evaporating and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the measure of the object is another real number the unit of measure(s) and the unit of measure is an instance of unit of temperature and the object is a patient of the process, then there exists another object such that the other object is a part of the object and the real number is greater than the other real number and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14153-14161	If a process is an instance of freezing and an object is a patient of the process, then there exists another object such that the other object is a part of the object and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and solid is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7801-7813	If a self connected object is an instance of liquid drop and another self connected object is a surface of the self connected object, then the statement there exist the other self connected objectS and another entity such that the other entity is an instance of substance and liquid is an attribute of the other entity and equal the self connected object and the other entity and the other self connected objectS is a surface of the other entity and the other self connected object meets the other self connected objectS has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2150-2158	If an object is an instance of water cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that liquid is an attribute of the other object and the object transferred in the transfer is the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14065-14073	If a process is an instance of melting and an object is a patient of the process, then there exists another object such that the other object is a part of the object and solid is an attribute of the other object holds during the beginning of the time of existence of the process and liquid is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11364-11368	If a process is an instance of liquid motion and an object is a patient of the process, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7353-7370	If a process is an instance of sublimation and an object is a patient of the process, then there exists another object such that the other object is a part of the object and solid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process and liquid is an attribute of the other object doesn't hold during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14016-14031	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a boiling point of a kind of pure substance and another real number the unit of measure(s) is a melting point of the kind of pure substance and the unit of measure is an instance of unit of temperature and the measure of the entity is a third real number the unit of measure(s) holds during a time interval and the third real number is greater than the other real number and the third real number is less than the real number, then liquid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of melting and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13962-13971	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number kelvin degree(s) is a boiling point of the kind of pure substance and another real number kelvin degree(s) is a melting point of the kind of pure substance and the measure of the object is a third real number kelvin degree(s) and the third real number is greater than the other real number and the third real number is less than the real number, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4156-4161	If flammable liquid is an attribute of an object, then the object is an instance of substance and liquid is an attribute of the object and flammable is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18181-18187	If dry is an attribute of an object, then there doesn't exist another object such that the other object is a part of the object and liquid is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18199-18207	If wet is an attribute of an object, then for all another object if the other object is a part of the object, then there exists a third object such that the third object is a part of the other object and liquid is an attribute of the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2362-2369	If a process is an instance of aerating, then there exist an entity and an object such that the entity is a patient of the process and the entity is an instance of air and the object is a patient of the process and liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5940-5945	If a self connected object is an instance of bubble, then there exists another self connected object such that the other self connected object is a surface of the self connected object and liquid is an attribute of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Food.kif 395-397	If an object is an instance of beverage, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11829-11841	If a physical is an instance of coagulation, then there exists an entity such that the entity is an instance of blood and liquid is an attribute of the entity holds during immediately before the time of existence of the physical and solid is an attribute of the entity holds during immediately after the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5015-5030	If a physical is an instance of colander, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of mixture and the other entity is an instance of substance and the other entity is a part of the entity and liquid is an attribute of the other entity and the fourth entity is an instance of removing and the other entity is a patient of the fourth entity and the third entity is an instance of substance and the third entity is a part of the entity and solid is an attribute of the third entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21189-21195	If a process is an instance of diluting, then there exists an object such that the object is a patient of the process and the object is an instance of solution and liquid is an attribute of the object

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: