Liquid - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17854-17855
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17852-17853
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17850-17850	Liquid is an instance of physical state
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17851-17851	Liquid is a subattribute of fluid

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17825-17825	Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6188-6188	"liquid" is the printable form of liquid in english language

appearance as argument number 4

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

Merge.kif 17826-17826

Solid are all the attributes of physical state

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1777-1797	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 exists the self connected objectP such that the self connected objectP is a part of the self connected object and the self connected objectP has purpose liquid is an attribute of a third object and the third object meets the self connected objectP and there doesn't exist a fourth object such that liquid is an attribute of the fourth object and the self connected objectP meets the fourth object holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6922-6931	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

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10194-10198	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 13791-13799	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 5013-5017	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 1777-1797	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 exists the self connected objectP such that the self connected objectP is a part of the self connected object and the self connected objectP has purpose liquid is an attribute of a third object and the third object meets the self connected objectP and there doesn't exist a fourth object such that liquid is an attribute of the fourth object and the self connected objectP meets the fourth object holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13834-13842	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 6320-6337	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.	Merge.kif 13807-13819	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 the measure of a kind of pure substance is another real number the unit of measure(s) and the unit of measure is an instance of UnitOfTemperature and the kind of pure substance is a patient of the process, then there exists an object such that the object is a part of the kind of pure substance and the real number is greater than the other real number and liquid is an attribute of the object holds during the beginning of the time of existence of the process and gas is an attribute of the 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 13857-13865	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 6874-6886	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 a fourth self connected object such that the fourth self connected object is an instance of substance and liquid is an attribute of the fourth self connected object and the self connected object is not equal to the fourth self connected object and the other self connected objectS is a surface of the fourth self connected object and meetSpatially the other self connected object and the other self connected objectS has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2193-2201	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 13768-13776	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 11065-11069	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 6372-6389	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 13717-13732	If an object 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 UnitOfTemperature and the measure of the object 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 object holds during the time interval or there exists a physical such that the time interval overlaps the time of existence of the physical and the physical is an instance of melting and the object is a patient of a process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13661-13670	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.	Merge.kif 18251-18257	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 18273-18281	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 2359-2366	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 5301-5306	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.	Mid-level-ontology.kif 18809-18811	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 17036-17042	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2529-2537	If an object is an instance of electrolyte, then the object has purpose there exists the objectT such that the objectT is an instance of electric transmission and the object is a patient of the objectT and liquid is an attribute of the object holds during the objectT
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1623-1632	If an object is an instance of hydraulic fluid, then the object has purpose there exists a process such that the process is an instance of process and the object is an instrument for the process and liquid is an attribute of the object holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3063-3072	If an object is an instance of hydrometer, then the object has purpose there exist a process and another object such that the process is an instance of measuring and the other object is an instance of substance and liquid is an attribute of the other object and the other object is a patient of the process and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11236-11244	If a process is an instance of injecting, then there exist an object and an entity such that the object is a patient of the process and the object is an instance of biologically active substance and liquid is an attribute of the object and the process ends up at the entity and the entity is an instance of animal

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: