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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gas

Sigma KEE - Gas
Gas

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 17566-17567
(instance Gas PhysicalState) Merge.kif 17564-17564 Gas est une instance de �tat physique
(subAttribute Gas Fluid) Merge.kif 17565-17565 Gas est un sous-attribut de Fluid

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


(roomTempState Argon Gas) Mid-level-ontology.kif 31468-31468 roomTempState Argon and Gas
(roomTempState Arsine Gas) Mid-level-ontology.kif 31556-31556 roomTempState Arsine and Gas
(roomTempState BZGas Gas) Mid-level-ontology.kif 31571-31571 roomTempState BZGas and Gas
(roomTempState CSGas Gas) Mid-level-ontology.kif 31590-31590 roomTempState CSGas and Gas
(roomTempState CarbonDioxide Gas) Mid-level-ontology.kif 31574-31574 roomTempState CarbonDioxide and Gas
(roomTempState ChlorineGas Gas) Mid-level-ontology.kif 31578-31578 roomTempState ChlorineGas and Gas
(roomTempState Chlorofluorocarbon Gas) Mid-level-ontology.kif 31579-31579 roomTempState Chlorofluorocarbon and Gas
(roomTempState Chloropicrin Gas) Mid-level-ontology.kif 31580-31580 roomTempState Chloropicrin and Gas
(roomTempState ChokingAgent Gas) Mid-level-ontology.kif 31581-31581 roomTempState ChokingAgent and Gas
(roomTempState Diphosgene Gas) Mid-level-ontology.kif 31594-31594 roomTempState Diphosgene and Gas
(roomTempState Exhaust Gas) Mid-level-ontology.kif 31599-31599 roomTempState Exhaust and Gas
(roomTempState Fluorine Gas) Mid-level-ontology.kif 31459-31459 roomTempState Fluorine and Gas
(roomTempState Freon12 Gas) Mid-level-ontology.kif 31600-31600 roomTempState Freon12 and Gas
(roomTempState GasMixture Gas) Mid-level-ontology.kif 31602-31602 roomTempState GasMixture and Gas
(roomTempState GreenhouseGas Gas) Mid-level-ontology.kif 31608-31608 roomTempState GreenhouseGas and Gas
(roomTempState Hashish Gas) Mid-level-ontology.kif 31612-31612 roomTempState Hashish and Gas
(roomTempState Helium Gas) Mid-level-ontology.kif 31451-31451 roomTempState Helium and Gas
(roomTempState Heroin Gas) Mid-level-ontology.kif 31613-31613 roomTempState Heroin and Gas
(roomTempState Hydrogen Gas) Mid-level-ontology.kif 31450-31450 roomTempState Hydrogen and Gas
(roomTempState Krypton Gas) Mid-level-ontology.kif 31486-31486 roomTempState Krypton and Gas
(roomTempState LiquefiedPetroleumGas Gas) Mid-level-ontology.kif 31396-31396 roomTempState LiquefiedPetroleumGas and Gas
(roomTempState MustardGas Gas) Mid-level-ontology.kif 31548-31548 roomTempState MustardGas and Gas
(roomTempState NaturalGas Gas) Mid-level-ontology.kif 31627-31627 roomTempState NaturalGas and Gas
(roomTempState Neon Gas) Mid-level-ontology.kif 31460-31460 roomTempState Neon and Gas
(roomTempState NitricOxide Gas) Mid-level-ontology.kif 31629-31629 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 17542-17542 Solid est l'oppos� de Liquid

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


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17543-17543 exhaustiveAttribute �tat physique, Solid, Liquid, Gas and Plasma

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 5016-5025
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))
Merge.kif 17594-17601

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 13841-13854
(=>
    (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 5010-5014
(=>
    (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 13933-13941
(=>
    (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 13979-13987
(=>
    (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 6997-7014
(=>
    (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 13953-13966
(=>
    (and
        (instance ?MOTION GasMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Gas))
Merge.kif 11250-11254
(=>
    (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 7049-7066
(=>
    (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 13798-13807
(=>
    (and
        (instance ?Y NitricOxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 7216-7222
(=>
    (and
        (instance ?Y NitrogenDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 7241-7247
(=>
    (and
        (instance ?Y SulphurDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 7181-7187
(=>
    (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 6458-6472
(=>
    (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 2040-2042
(=>
    (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 14743-14748
(=>
    (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 25650-25658


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