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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17666-17667
(instance Gas PhysicalState) Merge.kif 17664-17664 例 加油站 and PhysicalState
(subAttribute Gas Fluid) Merge.kif 17665-17665 子屬性 加油站 and 流體

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


(roomTempState Argon Gas) Mid-level-ontology.kif 32420-32420 roomTempState 氬 and 加油站
(roomTempState Arsine Gas) Mid-level-ontology.kif 32508-32508 roomTempState 胂 and 加油站
(roomTempState BZGas Gas) Mid-level-ontology.kif 32523-32523 roomTempState BZ氣體 and 加油站
(roomTempState CSGas Gas) Mid-level-ontology.kif 32542-32542 roomTempState CS氣 and 加油站
(roomTempState CarbonDioxide Gas) Mid-level-ontology.kif 32526-32526 roomTempState CarbonDioxide and 加油站
(roomTempState ChlorineGas Gas) Mid-level-ontology.kif 32530-32530 roomTempState 氯氣 and 加油站
(roomTempState Chlorofluorocarbon Gas) Mid-level-ontology.kif 32531-32531 roomTempState Chlorofluorocarbon and 加油站
(roomTempState Chloropicrin Gas) Mid-level-ontology.kif 32532-32532 roomTempState 氯化苦 and 加油站
(roomTempState ChokingAgent Gas) Mid-level-ontology.kif 32533-32533 roomTempState 窒息劑 and 加油站
(roomTempState Diphosgene Gas) Mid-level-ontology.kif 32546-32546 roomTempState 雙光氣 and 加油站
(roomTempState Exhaust Gas) Mid-level-ontology.kif 32551-32551 roomTempState Exhaust and 加油站
(roomTempState Fluorine Gas) Mid-level-ontology.kif 32411-32411 roomTempState 氟 and 加油站
(roomTempState Freon12 Gas) Mid-level-ontology.kif 32552-32552 roomTempState Freon12 and 加油站
(roomTempState GasMixture Gas) Mid-level-ontology.kif 32554-32554 roomTempState 混合氣體 and 加油站
(roomTempState GreenhouseGas Gas) Mid-level-ontology.kif 32560-32560 roomTempState 溫室氣體 and 加油站
(roomTempState Hashish Gas) Mid-level-ontology.kif 32564-32564 roomTempState 大麻 and 加油站
(roomTempState Helium Gas) Mid-level-ontology.kif 32403-32403 roomTempState 氦 and 加油站
(roomTempState Heroin Gas) Mid-level-ontology.kif 32565-32565 roomTempState 海洛因 and 加油站
(roomTempState Hydrogen Gas) Mid-level-ontology.kif 32402-32402 roomTempState 氫 and 加油站
(roomTempState Krypton Gas) Mid-level-ontology.kif 32438-32438 roomTempState 氪 and 加油站
(roomTempState LiquefiedPetroleumGas Gas) Mid-level-ontology.kif 32348-32348 roomTempState 液化石油氣 and 加油站
(roomTempState MustardGas Gas) Mid-level-ontology.kif 32500-32500 roomTempState 芥子氣 and 加油站
(roomTempState NaturalGas Gas) Mid-level-ontology.kif 32579-32579 roomTempState 天然氣 and 加油站
(roomTempState Neon Gas) Mid-level-ontology.kif 32412-32412 roomTempState 氖 and 加油站
(roomTempState NitricOxide Gas) Mid-level-ontology.kif 32581-32581 roomTempState NitricOxide 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 17642-17642 相反的屬性 固體, 液體, 加油站 and 等離子體

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


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17643-17643 固體 是所有的 PhysicalState 的 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 5492-5501
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))		 Merge.kif 17694-17701

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 13911-13924
(=>
    (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 5486-5490
(=>
    (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 14003-14011
(=>
    (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 14049-14057
(=>
    (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 7065-7082
(=>
    (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 14023-14036
(=>
    (and
        (instance ?MOTION GasMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Gas))		 Merge.kif 11309-11313
(=>
    (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 7117-7134
(=>
    (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 13868-13877
(=>
    (and
        (instance ?Y NitricOxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 7284-7290
(=>
    (and
        (instance ?Y NitrogenDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 7309-7315
(=>
    (and
        (instance ?Y SulphurDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 7249-7255
(=>
    (attribute ?G HazardousGases)
    (and
        (instance ?G Substance)
        (attribute ?G Gas)
        (capability Combustion resource ?G)
        (capability Damaging resource ?G)
        (capability Corrosion resource ?G)))		 Transportation.kif 4136-4143
(=>
    (instance ?B Balloon)
    (hasPurpose ?B
        (exists (?G)
            (and
                (attribute ?G Gas)
                (contains ?B ?G)))))		 Cars.kif 3654-3660
(=>
    (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 6934-6948
(=>
    (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 2028-2030
(=>
    (instance ?GC GasCompressor)
    (hasPurpose ?GC
        (exists (?C ?G)
            (and
                (instance ?C Compressing)
                (attribute ?G Gas)
                (patient ?C ?G)
                (instrument ?C ?GC)))))		 Cars.kif 5235-5243
(=>
    (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 3667-3683
(=>
    (instance ?MIX GasMixture)
    (exists (?PART)
        (and
            (part ?PART ?MIX)
            (attribute ?PART Gas))))		 Merge.kif 14813-14818
(=>
    (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 26574-26582


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