TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Gas ChineseLanguage "这是如果一个 Object 的体积和形状都不是固定的话，那么它的 Attribute 便是属于 Gas。")	chinese_format.kif 3930-3931
(documentation Gas EnglishLanguage "An Object has the Attribute of Gas if it has neither a fixed volume nor a fixed shape.")	Merge.kif 17324-17325
(instance Gas PhysicalState)	Merge.kif 17322-17322	Gas is an instance of physical state
(subAttribute Gas Fluid)	Merge.kif 17323-17323	Gas is a subattribute of fluid

appearance as argument number 2

(subclass GreenhouseGas Gas)	Geography.kif 2739-2739	Greenhouse gas is a subclass of gas
(termFormat ChineseLanguage Gas "加油站")	domainEnglishFormat.kif 25503-25503
(termFormat ChineseTraditionalLanguage Gas "加油站")	domainEnglishFormat.kif 25502-25502
(termFormat EnglishLanguage Gas "gas")	domainEnglishFormat.kif 25501-25501

appearance as argument number 3

(contraryAttribute Solid Liquid Gas Plasma)

Merge.kif 17295-17295

Solid is the opposite of liquid

appearance as argument number 5

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma)

Merge.kif 17296-17296

Solid are all the attributes of physical state

antecedent

(=>
    (and
        (instance ?B Bubble)
        (not
            (exists (?X ?S)
                (and
                    (attribute ?X ?S)
                    (not
                        (equal ?X Gas))
                    (meetsSpatially ?X ?B)))))
    (attribute ?B RoundShape))

Mid-level-ontology.kif 4742-4751

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 the other object is not equal to gas and the other object meets the object,
then round shape is an attribute of the object

consequent

(=> (and (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Gas)) (exists (?BOIL) (and (overlapsTemporally (WhenFn ?BOIL) ?TIME) (instance ?BOIL Boiling) (patient ?BOIL ?SUBSTANCE)))))	Merge.kif 13601-13614	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 UnitOfTemperature 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
(=> (and (instance ?AS AirStream) (part ?AIR ?AS)) (attribute ?AR Gas))	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 a third object
(=> (and (instance ?B Bubble) (interiorPart ?P ?B)) (attribute ?P Gas))	Mid-level-ontology.kif 4736-4740	If an entity is an instance of bubble and an object is a interior part of the entity, then gas is an attribute of the object
(=> (and (instance ?BOIL Boiling) (patient ?BOIL ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?BOIL)) (attribute ?PART Liquid)) (holdsDuring (EndFn (WhenFn ?BOIL)) (attribute ?PART Gas)))))	Merge.kif 13693-13701	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
(=> (and (instance ?COND Condensing) (patient ?COND ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?COND)) (attribute ?PART Gas)) (holdsDuring (EndFn (WhenFn ?COND)) (attribute ?PART Liquid)))))	Merge.kif 13732-13740	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
(=> (and (instance ?DEPOSITION Deposition) (patient ?DEPOSITION ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?DEPOSITION)) (attribute ?PART Gas)) (holdsDuring (EndFn (WhenFn ?DEPOSITION)) (attribute ?PART Solid)) (not (holdsDuring (WhenFn ?DEPOSITION) (attribute ?PART Liquid))))))	Geography.kif 6685-6702	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
(=> (and (instance ?EVAP Evaporating) (boilingPoint ?OBJ (MeasureFn ?BOILVAL ?MEAS)) (measure ?OBJ (MeasureFn ?VAL ?MEAS)) (instance ?MEAS UnitOfTemperature) (patient ?EVAP ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (greaterThan ?BOILVAL ?VAL) (holdsDuring (BeginFn (WhenFn ?EVAP)) (attribute ?PART Liquid)) (holdsDuring (EndFn (WhenFn ?EVAP)) (attribute ?PART Gas)))))	Merge.kif 13707-13719	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
(=> (and (instance ?MOTION GasMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Gas))	Merge.kif 11125-11129	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
(=> (and (instance ?SUBLIMATION Sublimation) (patient ?SUBLIMATION ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?SUBLIMATION)) (attribute ?PART Solid)) (holdsDuring (EndFn (WhenFn ?SUBLIMATION)) (attribute ?PART Gas)) (not (holdsDuring (WhenFn ?SUBLIMATION) (attribute ?PART Liquid))))))	Geography.kif 6737-6754	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
(=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (barometricPressure ?X (MeasureFn ?PRES InchMercury)) (greaterThan 29.92 ?PRES) (boilingPoint ?Y (MeasureFn ?BOIL KelvinDegree)) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (greaterThan ?TEMP ?BOIL)) (attribute ?X Gas))	Merge.kif 13558-13567	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
(=> (and (instance ?Y NitricOxide) (holdsDuring ?T (property ?Y StandardAmbientTemperaturePressure))) (holdsDuring ?T (attribute ?Y Gas)))	Geography.kif 6904-6910	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
(=> (and (instance ?Y NitrogenDioxide) (holdsDuring ?T (property ?Y StandardAmbientTemperaturePressure))) (holdsDuring ?T (attribute ?Y Gas)))	Geography.kif 6929-6935	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
(=> (and (instance ?Y SulphurDioxide) (holdsDuring ?T (property ?Y StandardAmbientTemperaturePressure))) (holdsDuring ?T (attribute ?Y Gas)))	Geography.kif 6869-6875	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
(=> (instance ?B Balloon) (hasPurpose ?B (exists (?G) (and (attribute ?G Gas) (contains ?B ?G)))))	Cars.kif 3597-3603	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
(=> (instance ?B Bloating) (exists (?P ?S ?I ?G) (and (experiencer ?B ?P) (instance ?G Gas) (or (and (part ?I ?P) (instance ?I Intestine) (contains ?I ?G)) (and (part ?S ?P) (instance ?S Stomach) (contains ?S ?G))))))	Mid-level-ontology.kif 6131-6145	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
(=> (instance ?E Exhaust) (exists (?S ?G ?C) (and (instance ?C Combustion) (attribute ?S Solid) (attribute ?G Gas) (part ?S ?E) (part ?G ?E) (result ?C ?E))))	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 combustion 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
(=> (instance ?GAS NaturalGas) (attribute ?GAS Gas))	Geography.kif 2043-2045	If an object is an instance of natural gas, then gas is an attribute of the object
(=> (instance ?GC GasCompressor) (hasPurpose ?GC (exists (?C ?G) (and (instance ?C Compressing) (attribute ?G Gas) (patient ?C ?G) (instrument ?C ?GC)))))	Cars.kif 5177-5185	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
(=> (instance ?I Inflating) (exists (?G1 ?G2 ?V1 ?V2 ?S ?U) (and (instance ?G1 ?S) (instance ?G2 ?S) (instance ?S Substance) (attribute ?G1 Gas) (attribute ?G2 Gas) (instance ?U UnitOfVolume) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (measure ?G1 (MeasureFn ?V1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (measure ?G2 (MeasureFn ?V2 ?U))) (greaterThan ?V2 ?V1))))	Cars.kif 3610-3626	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 UnitOfVolume 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
(=> (instance ?MIX GasMixture) (exists (?PART) (and (part ?PART ?MIX) (attribute ?PART Gas))))	Merge.kif 14479-14484	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
(=> (instance ?S Spark) (exists (?E ?G) (and (instance ?E Electricity) (patient ?S ?E) (instance ?G Substance) (attribute ?G Gas) (eventLocated ?S ?G))))	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 2
(=> (instance ?S Spraying) (exists (?G ?L ?M) (and (attribute ?G Gas) (attribute ?L Liquid) (instance ?M GasMixture) (part ?M ?G) (part ?M ?L) (patient ?S ?G) (patient ?S ?L) (result ?S ?M))))	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
(=> (instance ?STEAM Steam) (exists (?BOIL ?WATER) (and (instance ?BOIL Boiling) (instance ?WATER Water) (patient ?BOIL ?WATER) (result ?BOIL ?STEAM) (attribute ?STEAM Gas))))	Mid-level-ontology.kif 25041-25049	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: