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 加油站 是 物质状态 的 instance
(subAttribute Gas Fluid) Merge.kif 17565-17565 加油站 是 流体 的 subAttribute

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


(roomTempState Argon Gas) Mid-level-ontology.kif 31468-31468 roomTempState 氩 and 加油站
(roomTempState Arsine Gas) Mid-level-ontology.kif 31556-31556 roomTempState 胂 and 加油站
(roomTempState BZGas Gas) Mid-level-ontology.kif 31571-31571 roomTempState BZ气体 and 加油站
(roomTempState CSGas Gas) Mid-level-ontology.kif 31590-31590 roomTempState CS气 and 加油站
(roomTempState CarbonDioxide Gas) Mid-level-ontology.kif 31574-31574 roomTempState CarbonDioxide and 加油站
(roomTempState ChlorineGas Gas) Mid-level-ontology.kif 31578-31578 roomTempState 氯气 and 加油站
(roomTempState Chlorofluorocarbon Gas) Mid-level-ontology.kif 31579-31579 roomTempState Chlorofluorocarbon and 加油站
(roomTempState Chloropicrin Gas) Mid-level-ontology.kif 31580-31580 roomTempState 氯化苦 and 加油站
(roomTempState ChokingAgent Gas) Mid-level-ontology.kif 31581-31581 roomTempState 窒息剂 and 加油站
(roomTempState Diphosgene Gas) Mid-level-ontology.kif 31594-31594 roomTempState 双光气 and 加油站
(roomTempState Exhaust Gas) Mid-level-ontology.kif 31599-31599 roomTempState Exhaust and 加油站
(roomTempState Fluorine Gas) Mid-level-ontology.kif 31459-31459 roomTempState 氟 and 加油站
(roomTempState Freon12 Gas) Mid-level-ontology.kif 31600-31600 roomTempState Freon12 and 加油站
(roomTempState GasMixture Gas) Mid-level-ontology.kif 31602-31602 roomTempState 混合气体 and 加油站
(roomTempState GreenhouseGas Gas) Mid-level-ontology.kif 31608-31608 roomTempState 温室气体 and 加油站
(roomTempState Hashish Gas) Mid-level-ontology.kif 31612-31612 roomTempState 大麻 and 加油站
(roomTempState Helium Gas) Mid-level-ontology.kif 31451-31451 roomTempState 氦 and 加油站
(roomTempState Heroin Gas) Mid-level-ontology.kif 31613-31613 roomTempState 海洛因 and 加油站
(roomTempState Hydrogen Gas) Mid-level-ontology.kif 31450-31450 roomTempState 氢 and 加油站
(roomTempState Krypton Gas) Mid-level-ontology.kif 31486-31486 roomTempState 氪 and 加油站
(roomTempState LiquefiedPetroleumGas Gas) Mid-level-ontology.kif 31396-31396 roomTempState 液化石油气 and 加油站
(roomTempState MustardGas Gas) Mid-level-ontology.kif 31548-31548 roomTempState 芥子气 and 加油站
(roomTempState NaturalGas Gas) Mid-level-ontology.kif 31627-31627 roomTempState 天然气 and 加油站
(roomTempState Neon Gas) Mid-level-ontology.kif 31460-31460 roomTempState 氖 and 加油站
(roomTempState NitricOxide Gas) Mid-level-ontology.kif 31629-31629 roomTempState 一氧化氮 and 加油站

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 固体 是 液体 的相反

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


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17543-17543 固体 是所有的 物质状态 的 attributes

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