Gas - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3930-3931
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17749-17750
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17747-17747	Gas is an instance of physical state
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17748-17748	Gas is a subattribute of fluid

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33413-33413	room temperature state argon and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33501-33501	room temperature state arsine and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33516-33516	room temperature state BZ gas and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33535-33535	room temperature state CS gas and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33519-33519	room temperature state carbon dioxide and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33523-33523	room temperature state chlorine gas and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33524-33524	room temperature state chlorofluorocarbon and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33525-33525	room temperature state chloropicrin and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33526-33526	room temperature state choking agent and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33539-33539	room temperature state diphosgene and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33544-33544	room temperature state exhaust and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33404-33404	room temperature state fluorine and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33545-33545	room temperature state freon-12 and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33547-33547	room temperature state gas mixture and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33553-33553	room temperature state greenhouse gas and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33557-33557	room temperature state hashish and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33396-33396	room temperature state helium and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33558-33558	room temperature state heroin and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33395-33395	room temperature state hydrogen and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33431-33431	room temperature state krypton and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33341-33341	room temperature state liquefied petroleum gas and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33493-33493	room temperature state mustard gas and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33572-33572	room temperature state natural gas and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33405-33405	room temperature state neon and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33574-33574	room temperature state nitric oxide and gas

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 17725-17725

Solid is the opposite of liquid

appearance as argument number 4

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.	Mid-level-ontology.kif 5953-5962	If an object is an instance of bubble and there don't exist another object and an attribute such that the attribute is an attribute of the other object and equal the other object and gas and the other object meets the object, then convex round shape is an attribute of the object
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

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13994-14007	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of unit of temperature and the other real number is greater than or equal to the real number, then gas 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 boiling and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 69-73	If an object is an instance of air stream and another object is a part of the object, then gas is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5947-5951	If an object is an instance of bubble and another object is a interior part of the object, then gas is an attribute of the other 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.	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 7334-7351	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 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 11388-11392	If a process is an instance of gas motion and an object is a patient of the process, then gas is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7386-7403	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 13951-13960	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 inch mercury(s) is a barometric pressure of the object and 29.92 is greater than the real number and another real number kelvin degree(s) is a boiling 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, then gas is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7553-7559	If an entity is an instance of nitric oxide and the entity the attribute standard ambient temperature and pressure holds during a time position, then gas is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7578-7584	If an entity is an instance of nitrogen dioxide and the entity the attribute standard ambient temperature and pressure holds during a time position, then gas is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7518-7524	If an entity is an instance of sulphur dioxide and the entity the attribute standard ambient temperature and pressure holds during a time position, then gas is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4142-4149	If hazardous gases is an attribute of an object, then the object is an instance of substance and gas is an attribute of the object and the object is capable of doing burning as a resource and the object is capable of doing damaging as a resource and the object is capable of doing corrosion as a resource
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3654-3660	If a physical is an instance of balloon, then the physical has the purpose there exists an entity such that gas is an attribute of the entity and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7395-7409	If a process is an instance of bloating, then there exist an agent, a self connected object,, , another self connected object and an object such that the agent experiences the process and the object is an instance of gas and the other self connected object is a part of the agent and the other self connected object is an instance of intestine and the other self connected object contains the object or the self connected object is a part of the agent and the self connected object is an instance of stomach and the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1150-1159	If an object is an instance of exhaust, then there exist another object, a third object and a process such that the process is an instance of burning and solid is an attribute of the other object and gas is an attribute of the third object and the other object is a part of the object and the third object is a part of the object and the object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2198-2200	If an object is an instance of natural gas, then gas is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5235-5243	If a physical is an instance of compressor, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of compressing and gas 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.	Cars.kif 3667-3683	If a physical is an instance of inflating, then there exist an object, another object,, , a real number,, , another real number,, , a class and an entity such that the object is an instance of the class and the other object is an instance of the class and the class is an instance of substance and gas is an attribute of the object and gas is an attribute of the other object and the entity is an instance of unit of volume and the measure of the object is the real number the entity(s) holds during immediately before the time of existence of the physical and the measure of the other object is the other real number the entity(s) holds during immediately after the time of existence of the physical and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14896-14901	If an object is an instance of gas mixture, 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 424-432	If a process is an instance of spark, then there exist an entity and an object such that the entity is an instance of electricity and the entity is a patient of the process and the object is an instance of substance and gas is an attribute of the object and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1092-1103	If a process is an instance of spraying, then there exist an object, another object and a third object such that gas is an attribute of the object and liquid is an attribute of the other object and the third object is an instance of gas mixture and the third object is a part of the object and the third object is a part of the other object and the object is a patient of the process and the other object is a patient of the process and the third object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27548-27556	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

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: