Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Unlikely

 Sigma KEE - Gas
Gas(gas)VX_gas, aeriform, airlike, compressed_gas, gas, gaseous, gaseous_state, gaseousness, gassy, ideal_gas, inhalant, mephitis, miasmal, miasmic, nerve_agent, nerve_gas, ozone, perfect_gas, phosphine, poison_gas, propene, propylene, sewer_gas, smoggy, vaporific, vaporish, vaporous, vapourific, vapourish, vapourous

appearance as argument number 1
-------------------------


(instance Gas PhysicalState) Merge.kif 17921-17921 Gas is an instance of physical state
(subAttribute Gas Fluid) Merge.kif 17922-17922 Gas is a subattribute of fluid
(documentation Gas EnglishLanguage "An Object has the Attribute of Gas if it has neither a fixed volume nor a fixed shape.") Merge.kif 17923-17924 Gas is a subattribute of fluid

appearance as argument number 2
-------------------------


(roomTempState Hydrogen Gas) Mid-level-ontology.kif 33922-33922 room temperature state hydrogen and gas
(roomTempState Helium Gas) Mid-level-ontology.kif 33923-33923 room temperature state helium and gas
(roomTempState Nitrogen Gas) Mid-level-ontology.kif 33929-33929 room temperature state nitrogen and gas
(roomTempState Oxygen Gas) Mid-level-ontology.kif 33930-33930 room temperature state oxygen and gas
(roomTempState Fluorine Gas) Mid-level-ontology.kif 33931-33931 room temperature state fluorine and gas
(roomTempState Neon Gas) Mid-level-ontology.kif 33932-33932 room temperature state neon and gas
(roomTempState Argon Gas) Mid-level-ontology.kif 33940-33940 room temperature state argon and gas
(roomTempState Krypton Gas) Mid-level-ontology.kif 33958-33958 room temperature state krypton and gas
(roomTempState Xenon Gas) Mid-level-ontology.kif 33976-33976 room temperature state xenon and gas
(roomTempState MustardGas Gas) Mid-level-ontology.kif 34020-34020 room temperature state mustard gas and gas
(roomTempState SulphurMustardGas Gas) Mid-level-ontology.kif 34021-34021 room temperature state sulphur mustard gas and gas
(roomTempState NitrogenMustardGas Gas) Mid-level-ontology.kif 34022-34022 room temperature state nitrogen mustard gas and gas
(roomTempState Arsine Gas) Mid-level-ontology.kif 34028-34028 room temperature state arsine and gas
(roomTempState BZGas Gas) Mid-level-ontology.kif 34038-34038 room temperature state BZ gas and gas
(roomTempState ChlorineGas Gas) Mid-level-ontology.kif 34044-34044 room temperature state chlorine gas and gas
(roomTempState Chloropicrin Gas) Mid-level-ontology.kif 34045-34045 room temperature state chloropicrin and gas
(roomTempState ChokingAgent Gas) Mid-level-ontology.kif 34046-34046 room temperature state choking agent and gas
(roomTempState Diphosgene Gas) Mid-level-ontology.kif 34053-34053 room temperature state diphosgene and gas
(roomTempState GasMixture Gas) Mid-level-ontology.kif 34056-34056 room temperature state gas mixture and gas
(roomTempState Hashish Gas) Mid-level-ontology.kif 34062-34062 room temperature state hashish and gas
(roomTempState Heroin Gas) Mid-level-ontology.kif 34063-34063 room temperature state heroin and gas
(roomTempState Phosgene Gas) Mid-level-ontology.kif 34075-34075 room temperature state phosgene and gas
(roomTempState Sarin Gas) Mid-level-ontology.kif 34082-34082 room temperature state sarin and gas
(roomTempState VSeriesNerveAgent Gas) Mid-level-ontology.kif 34100-34100 room temperature state V series nerve agent and gas
(roomTempState VX Gas) Mid-level-ontology.kif 34101-34101 room temperature state VX and gas

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(contraryAttribute Solid Liquid Gas Plasma) Merge.kif 17899-17899 Solid is the opposite of liquid

appearance as argument number 4
-------------------------


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17900-17900 Solid are all the attributes of physical state

antecedent
-------------------------


(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))		 Merge.kif 17951-17958 If X is an instance of substance and At least one of the following holds: (1) gas is an attribute of X (2) liquid is an attribute of X (3) plasma is an attribute of X, then fluid is an attribute of X
(=>
    (and
        (instance ?B Bubble)
        (not
            (exists (?X ?S)
                (and
                    (attribute ?X ?S)
                    (not
                        (equal ?X Gas))
                    (meetsSpatially ?X ?B)))))
    (attribute ?B ConvexRoundShape))		 Mid-level-ontology.kif 6111-6120 If X is an instance of bubble and there don't exist Y, Z such that Z is an attribute of Y, equal Y, gas, and Y meets X, then convex round shape is an attribute of X
(=>
    (holdsDuring ?T
        (and
            (refractiveIndex ?CLASS ?X)
            (roomTempState ?CLASS Gas)))
    (holdsDuring ?T
        (exists (?S)
            (and
                (instance ?S ?CLASS)
                (measure ?S
                    (MeasureFn 0 CelsiusDegree))
                (measure ?S
                    (MeasureFn 101325 Pascal))))))		 Transportation.kif 5590-5600 If the RefractiveIndexFn of X is Y, room temperature state X, and gas holds during Z, then there exists W such that W is an instance of X and the measure of W is 0 celsius degree(s) and the measure of W is 101325 pascal(s) holds during Z
(=>
    (holdsDuring ?T
        (and
            (refractiveIndex ?CLASS ?X)
            (roomTempState ?CLASS Gas)))
    (holdsDuring ?T
        (exists (?S)
            (and
                (instance ?S ?CLASS)
                (measure ?S
                    (MeasureFn 20 CelsiusDegree))))))		 Transportation.kif 5602-5611 If the RefractiveIndexFn of X is Y, room temperature state X, and gas holds during Z, then there exists W such that W is an instance of X and the measure of W is 20 celsius degree(s) holds during Z

consequent
-------------------------


(=>
    (and
        (instance ?MOTION GasMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Gas))		 Merge.kif 11502-11506 If X is an instance of gas motion and Y is a patient of X, then gas is an attribute of Y
(=>
    (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 14107-14116 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z inch mercury(s) is a barometric pressure of X (4) 29.92 is greater than Z (5) W kelvin degree(s) is a boiling point of Y (6) the measure of X is V kelvin degree(s) (7) V is greater than W, then gas is an attribute of X
(=>
    (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 14150-14163 If X Y(s) is a boiling point of Z, W is an instance of Z, the measure of W is V Y(s) holds during U, Y is an instance of unit of temperature, and V is greater than or equal to X, then gas is an attribute of W holds during U or there exists T such that U overlaps the time of existence of T, T is an instance of boiling, and W is a patient of T
(=>
    (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 14242-14250 If X is an instance of boiling and Y is a patient of X, then there exists Z such that Z is a part of Y, liquid is an attribute of Z holds during the beginning of the time of existence of X, and gas is an attribute of Z holds during the end of the time of existence of X
(=>
    (and
        (instance ?EVAP Evaporating)
        (boilingPoint ?CLASS
            (MeasureFn ?BOILVAL ?MEAS))
        (instance ?OBJ ?CLASS)
        (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 14262-14275 If All of the following hold: (1) X is an instance of evaporating (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) the measure of V is U Z(s) (5) Z is an instance of unit of temperature (6) V is a patient of X, then there exists T such that T is a part of V, Y is greater than U, liquid is an attribute of T holds during the beginning of the time of existence of X, and gas is an attribute of T holds during the end of the time of existence of X
(=>
    (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 14288-14296 If X is an instance of condensing and Y is a patient of X, then there exists Z such that Z is a part of Y, gas is an attribute of Z holds during the beginning of the time of existence of X, and liquid is an attribute of Z holds during the end of the time of existence of X
(=>
    (instance ?MIX GasMixture)
    (exists (?PART)
        (and
            (part ?PART ?MIX)
            (attribute ?PART Gas))))		 Merge.kif 15055-15060 If X is an instance of gas mixture, then there exists Y such that Y is a part of X and gas is an attribute of Y
(=>
    (and
        (instance ?B Bubble)
        (interiorPart ?P ?B))
    (attribute ?P Gas))		 Mid-level-ontology.kif 6105-6109 If X is an instance of bubble and Y is a interior part of X, then gas is an attribute of Y
(=>
    (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 7546-7560 If X is an instance of bloating, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y experiences X (3) V is an instance of gas (4) W is a part of Y (5) W is an instance of intestine (6) W contains V or Z is a part of Y (7) Z is an instance of stomach (8) Z contains V
(=>
    (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 28218-28226 If X is an instance of steam, then there exist Y, Z such that Y is an instance of boiling, Z is an instance of water, Z is a patient of Y, X is a result of Y, and gas is an attribute of X
(=>
    (instance ?S Spark)
    (exists (?E ?G)
        (and
            (instance ?E Electricity)
            (patient ?S ?E)
            (instance ?G Substance)
            (attribute ?G Gas)
            (eventLocated ?S ?G))))		 Cars.kif 377-385 If X is an instance of spark, then there exist Y, Z such that Y is an instance of electricity, Y is a patient of X, Z is an instance of substance, gas is an attribute of Z, and X is located at Z
(=>
    (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 1029-1040 If X is an instance of spraying, then All of the following hold: (1) there exist Y, Z (2) W such that gas is an attribute of Y (3) liquid is an attribute of Z (4) W is an instance of gas mixture (5) W is a part of Y (6) W is a part of Z (7) Y is a patient of X (8) Z is a patient of X (9) W is a result of X
(=>
    (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 1088-1097 If X is an instance of exhaust, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of burning (3) solid is an attribute of Y (4) gas is an attribute of Z (5) Y is a part of X (6) Z is a part of X (7) X is a result of W
(=>
    (instance ?B Balloon)
    (hasPurpose ?B
        (exists (?G)
            (and
                (attribute ?G Gas)
                (contains ?B ?G)))))		 Cars.kif 3457-3463 If X is an instance of balloon, then X has the purpose there exists Y such that gas is an attribute of Y and X contains Y
(=>
    (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 3470-3490 If X is an instance of inflating, then there exist Y, Z,, , W,, , V,, , U and T such that Y is an instance of U and Z is an instance of U and U is an instance of substance and gas is an attribute of Y and gas is an attribute of Z and T is an instance of unit of volume and the measure of Y is W T(s) holds during immediately before the time of existence of X and the measure of Z is V T(s) holds during immediately after the time of existence of X and V is greater than W
(=>
    (instance ?GC GasCompressor)
    (hasPurpose ?GC
        (exists (?C ?G)
            (and
                (instance ?C Compressing)
                (attribute ?G Gas)
                (patient ?C ?G)
                (instrument ?C ?GC)))))		 Cars.kif 5066-5074 If X is an instance of compressor, then X has the purpose there exist Y, Z such that Y is an instance of compressing, gas is an attribute of Z, Z is a patient of Y, and X is an instrument for Y
(=>
    (instance ?GAS NaturalGas)
    (attribute ?GAS Gas))		 Geography.kif 3493-3495 If X is an instance of natural gas, then gas is an attribute of X
(=>
    (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 8661-8678 If X is an instance of deposition and Y is a patient of X, then there exists Z such that Z is a part of Y, gas is an attribute of Z holds during the beginning of the time of existence of X, solid is an attribute of Z holds during the end of the time of existence of X, and liquid is not an attribute of Z doesn't hold during the time of existence of X
(=>
    (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 8713-8730 If X is an instance of sublimation and Y is a patient of X, then there exists Z such that Z is a part of Y, solid is an attribute of Z holds during the beginning of the time of existence of X, gas is an attribute of Z holds during the end of the time of existence of X, and liquid is not an attribute of Z doesn't hold during the time of existence of X
(=>
    (and
        (instance ?Y SulphurDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 8844-8850 If X is an instance of sulphur dioxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y
(=>
    (and
        (instance ?Y NitricOxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 8877-8883 If X is an instance of nitric oxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y
(=>
    (and
        (instance ?Y NitrogenDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 8901-8907 If X is an instance of nitrogen dioxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y
(=>
    (attribute ?G HazardousGases)
    (and
        (instance ?G Substance)
        (attribute ?G Gas)
        (capability Combustion resource ?G)
        (capability Damaging resource ?G)
        (capability Corrosion resource ?G)))		 Transportation.kif 4682-4689 If hazardous gases is an attribute of X, then X is an instance of substance, gas is an attribute of X, X is capable of doing burning as a resource, X is capable of doing damaging as a resource, and X is capable of doing corrosion as a resource
(=>
    (and
        (instance ?AS AirStream)
        (part ?AIR ?AS))
    (attribute ?AIR Gas))		 Weather.kif 69-73 If X is an instance of air stream and Y is a part of X, then gas is an attribute of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners