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 16336-16337
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16334-16334	Liquid is an instance of physical state
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16335-16335	Liquid is a subattribute of fluid

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16316-16316	Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34513-34513
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34512-34512
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34511-34511

appearance as argument number 4

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

Merge.kif 16317-16317

Solid are all the attributes of physical state

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1737-1757	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 は the object を contains %n{ない}, 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 purpose liquid is an attribute of an 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 6911-6920	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 9663-9667	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 12902-12910	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 5018-5022	If a self connected object is an instance of bottle and the self connected object は an object を contains %n{ない}, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1737-1757	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 は the object を contains %n{ない}, 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 purpose liquid is an attribute of an 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 12941-12949	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 6335-6352	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 12916-12928	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 12962-12970	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 6863-6875	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 the self connected object is not equal to 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 2153-2161	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 12881-12889	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 10473-10477	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 6387-6404	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 12832-12847	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 UnitOfTemperature and the measure of the entity is a quantity the unit of measure(s) holds during a time interval and the quantity is greater than the other real number and the quantity 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 12778-12787	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 16663-16669	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 16681-16689	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 2360-2367	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 5306-5311	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 19293-19295	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 17449-17455	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 2489-2497	If a physical is an instance of electrolyte, then the physical purpose there exists the physicalT such that the physicalT is an instance of electric transmission and the physical is a patient of the physicalT and liquid is an attribute of the physical holds during the physicalT
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1583-1592	If a physical is an instance of hydraulic fluid, then the physical purpose there exists an entity such that the entity is an instance of process and the physical is an instrument for the entity and liquid is an attribute of the physical holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3026-3035	If a physical is an instance of hydrometer, then the physical purpose there exist an entity and another entity such that the entity is an instance of measuring and the other entity is an instance of substance and liquid is an attribute of the other entity and the other entity is a patient of the entity and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10638-10646	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: