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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17710-17710	Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33144-33144	room temperature state Absolut and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33262-33262	room temperature state alcohol and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33125-33125	room temperature state alcoholic beverage and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33263-33263	room temperature state aldosterone and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33264-33264	room temperature state alkaloid and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33132-33132	room temperature state amaretto and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33266-33266	room temperature state amino acid and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33129-33129	room temperature state aperitif and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33269-33269	room temperature state atropine and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33140-33140	room temperature state Bacardi and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33270-33270	room temperature state bacitracin and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33133-33133	room temperature state Baileys and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33149-33149	room temperature state beer and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33121-33121	room temperature state beverage and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33257-33257	room temperature state blood agent and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33158-33158	room temperature state boron and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33148-33148	room temperature state brandy and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33189-33189	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 33130-33130	room temperature state Campari and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33134-33134	room temperature state Chambord and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33127-33127	room temperature state champagne and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33279-33279	room temperature state chemical acid and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33280-33280	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 17711-17711

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 7615-7624	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 17762-17769	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 33383-33394	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 14081-14083	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 10401-10405	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 14071-14079	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 5156-5160	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 14117-14125	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 7067-7084	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 11311-11323	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 14091-14104	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 14138-14146	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 7567-7579	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 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 14050-14058	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 11349-11353	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 7119-7136	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 14001-14016	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 13947-13956	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 4154-4159	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 18167-18173	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 18185-18193	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 2361-2368	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 5959-5964	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 11847-11859	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 5034-5049	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 21206-21212	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: