Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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


(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 17451-17452
(instance Gas PhysicalState) Merge.kif 17449-17449 Gas is an instance of physical state
(subAttribute Gas Fluid) Merge.kif 17450-17450 Gas is a subattribute of fluid

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


(roomTempState Argon Gas) Mid-level-ontology.kif 31575-31575 roomTempState argon and gas
(roomTempState Arsine Gas) Mid-level-ontology.kif 31663-31663 roomTempState arsine and gas
(roomTempState BZGas Gas) Mid-level-ontology.kif 31678-31678 roomTempState BZ gas and gas
(roomTempState CSGas Gas) Mid-level-ontology.kif 31697-31697 roomTempState CS gas and gas
(roomTempState CarbonDioxide Gas) Mid-level-ontology.kif 31681-31681 roomTempState carbon dioxide and gas
(roomTempState ChlorineGas Gas) Mid-level-ontology.kif 31685-31685 roomTempState chlorine gas and gas
(roomTempState Chlorofluorocarbon Gas) Mid-level-ontology.kif 31686-31686 roomTempState chlorofluorocarbon and gas
(roomTempState Chloropicrin Gas) Mid-level-ontology.kif 31687-31687 roomTempState chloropicrin and gas
(roomTempState ChokingAgent Gas) Mid-level-ontology.kif 31688-31688 roomTempState choking agent and gas
(roomTempState Diphosgene Gas) Mid-level-ontology.kif 31701-31701 roomTempState diphosgene and gas
(roomTempState Exhaust Gas) Mid-level-ontology.kif 31706-31706 roomTempState exhaust and gas
(roomTempState Fluorine Gas) Mid-level-ontology.kif 31566-31566 roomTempState fluorine and gas
(roomTempState Freon12 Gas) Mid-level-ontology.kif 31707-31707 roomTempState freon-12 and gas
(roomTempState GasMixture Gas) Mid-level-ontology.kif 31709-31709 roomTempState gas mixture and gas
(roomTempState GreenhouseGas Gas) Mid-level-ontology.kif 31715-31715 roomTempState greenhouse gas and gas
(roomTempState Hashish Gas) Mid-level-ontology.kif 31719-31719 roomTempState hashish and gas
(roomTempState Helium Gas) Mid-level-ontology.kif 31558-31558 roomTempState helium and gas
(roomTempState Heroin Gas) Mid-level-ontology.kif 31720-31720 roomTempState heroin and gas
(roomTempState Hydrogen Gas) Mid-level-ontology.kif 31557-31557 roomTempState hydrogen and gas
(roomTempState Krypton Gas) Mid-level-ontology.kif 31593-31593 roomTempState krypton and gas
(roomTempState LiquefiedPetroleumGas Gas) Mid-level-ontology.kif 31501-31501 roomTempState liquefied petroleum gas and gas
(roomTempState MustardGas Gas) Mid-level-ontology.kif 31655-31655 roomTempState mustard gas and gas
(roomTempState NaturalGas Gas) Mid-level-ontology.kif 31734-31734 roomTempState natural gas and gas
(roomTempState Neon Gas) Mid-level-ontology.kif 31567-31567 roomTempState neon and gas
(roomTempState NitricOxide Gas) Mid-level-ontology.kif 31736-31736 roomTempState NitricOxide 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 17427-17427 Solid is the opposite of liquid

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


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17428-17428 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 ConvexRoundShape))
Mid-level-ontology.kif 4983-4992
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))
Merge.kif 17479-17486

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 13732-13745
(=>
    (and
        (instance ?AS AirStream)
        (part ?AIR ?AS))
    (attribute ?AR Gas))
Weather.kif 69-73
(=>
    (and
        (instance ?B Bubble)
        (interiorPart ?P ?B))
    (attribute ?P Gas))
Mid-level-ontology.kif 4977-4981
(=>
    (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 13824-13832
(=>
    (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 13870-13878
(=>
    (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 13844-13857
(=>
    (and
        (instance ?MOTION GasMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Gas))
Merge.kif 11216-11220
(=>
    (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 13689-13698
(=>
    (instance ?B Balloon)
    (hasPurpose ?B
        (exists (?G)
            (and
                (attribute ?G Gas)
                (contains ?B ?G)))))
Cars.kif 3593-3599
(=>
    (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 6425-6439
(=>
    (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
(=>
    (instance ?GAS NaturalGas)
    (attribute ?GAS Gas))
Geography.kif 2038-2040
(=>
    (instance ?GC GasCompressor)
    (hasPurpose ?GC
        (exists (?C ?G)
            (and
                (instance ?C Compressing)
                (attribute ?G Gas)
                (patient ?C ?G)
                (instrument ?C ?GC)))))
Cars.kif 5174-5182
(=>
    (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 3606-3622
(=>
    (instance ?MIX GasMixture)
    (exists (?PART)
        (and
            (part ?PART ?MIX)
            (attribute ?PART Gas))))
Merge.kif 14633-14638
(=>
    (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
(=>
    (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
(=>
    (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 25748-25756


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