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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExternalTransfer

 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 17588-17589
(instance Gas PhysicalState) Merge.kif 17586-17586 例 加油站 and PhysicalState
(subAttribute Gas Fluid) Merge.kif 17587-17587 子屬性 加油站 and 流體

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


(roomTempState Argon Gas) Mid-level-ontology.kif 31464-31464 roomTempState 氬 and 加油站
(roomTempState Arsine Gas) Mid-level-ontology.kif 31552-31552 roomTempState 胂 and 加油站
(roomTempState BZGas Gas) Mid-level-ontology.kif 31567-31567 roomTempState BZ氣體 and 加油站
(roomTempState CSGas Gas) Mid-level-ontology.kif 31586-31586 roomTempState CS氣 and 加油站
(roomTempState CarbonDioxide Gas) Mid-level-ontology.kif 31570-31570 roomTempState CarbonDioxide and 加油站
(roomTempState ChlorineGas Gas) Mid-level-ontology.kif 31574-31574 roomTempState 氯氣 and 加油站
(roomTempState Chlorofluorocarbon Gas) Mid-level-ontology.kif 31575-31575 roomTempState Chlorofluorocarbon and 加油站
(roomTempState Chloropicrin Gas) Mid-level-ontology.kif 31576-31576 roomTempState 氯化苦 and 加油站
(roomTempState ChokingAgent Gas) Mid-level-ontology.kif 31577-31577 roomTempState 窒息劑 and 加油站
(roomTempState Diphosgene Gas) Mid-level-ontology.kif 31590-31590 roomTempState 雙光氣 and 加油站
(roomTempState Exhaust Gas) Mid-level-ontology.kif 31595-31595 roomTempState Exhaust and 加油站
(roomTempState Fluorine Gas) Mid-level-ontology.kif 31455-31455 roomTempState 氟 and 加油站
(roomTempState Freon12 Gas) Mid-level-ontology.kif 31596-31596 roomTempState Freon12 and 加油站
(roomTempState GasMixture Gas) Mid-level-ontology.kif 31598-31598 roomTempState 混合氣體 and 加油站
(roomTempState GreenhouseGas Gas) Mid-level-ontology.kif 31604-31604 roomTempState 溫室氣體 and 加油站
(roomTempState Hashish Gas) Mid-level-ontology.kif 31608-31608 roomTempState 大麻 and 加油站
(roomTempState Helium Gas) Mid-level-ontology.kif 31447-31447 roomTempState 氦 and 加油站
(roomTempState Heroin Gas) Mid-level-ontology.kif 31609-31609 roomTempState 海洛因 and 加油站
(roomTempState Hydrogen Gas) Mid-level-ontology.kif 31446-31446 roomTempState 氫 and 加油站
(roomTempState Krypton Gas) Mid-level-ontology.kif 31482-31482 roomTempState 氪 and 加油站
(roomTempState LiquefiedPetroleumGas Gas) Mid-level-ontology.kif 31392-31392 roomTempState 液化石油氣 and 加油站
(roomTempState MustardGas Gas) Mid-level-ontology.kif 31544-31544 roomTempState 芥子氣 and 加油站
(roomTempState NaturalGas Gas) Mid-level-ontology.kif 31623-31623 roomTempState 天然氣 and 加油站
(roomTempState Neon Gas) Mid-level-ontology.kif 31456-31456 roomTempState 氖 and 加油站
(roomTempState NitricOxide Gas) Mid-level-ontology.kif 31625-31625 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 17564-17564 相反的屬性 固體, 液體, 加油站 and 等離子體

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


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17565-17565 固體 是所有的 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 5015-5024
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))		 Merge.kif 17616-17623

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 13863-13876
(=>
    (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 5009-5013
(=>
    (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 13955-13963
(=>
    (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 14001-14009
(=>
    (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 13975-13988
(=>
    (and
        (instance ?MOTION GasMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Gas))		 Merge.kif 11272-11276
(=>
    (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 13820-13829
(=>
    (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 3601-3607
(=>
    (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 6457-6471
(=>
    (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 5182-5190
(=>
    (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 3614-3630
(=>
    (instance ?MIX GasMixture)
    (exists (?PART)
        (and
            (part ?PART ?MIX)
            (attribute ?PART Gas))))		 Merge.kif 14765-14770
(=>
    (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 25638-25646


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