|
|
  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 | |
| (subAttribute Gas Fluid) | Merge.kif 17587-17587 |
| appearance as argument number 2 |
|
|
| (roomTempState Argon Gas) | Mid-level-ontology.kif 31464-31464 | |
| (roomTempState Arsine Gas) | Mid-level-ontology.kif 31552-31552 | |
| (roomTempState BZGas Gas) | Mid-level-ontology.kif 31567-31567 | |
| (roomTempState CSGas Gas) | Mid-level-ontology.kif 31586-31586 | |
| (roomTempState CarbonDioxide Gas) | Mid-level-ontology.kif 31570-31570 | |
| (roomTempState ChlorineGas Gas) | Mid-level-ontology.kif 31574-31574 | |
| (roomTempState Chlorofluorocarbon Gas) | Mid-level-ontology.kif 31575-31575 | |
| (roomTempState Chloropicrin Gas) | Mid-level-ontology.kif 31576-31576 | |
| (roomTempState ChokingAgent Gas) | Mid-level-ontology.kif 31577-31577 | |
| (roomTempState Diphosgene Gas) | Mid-level-ontology.kif 31590-31590 | |
| (roomTempState Exhaust Gas) | Mid-level-ontology.kif 31595-31595 | |
| (roomTempState Fluorine Gas) | Mid-level-ontology.kif 31455-31455 | |
| (roomTempState Freon12 Gas) | Mid-level-ontology.kif 31596-31596 | |
| (roomTempState GasMixture Gas) | Mid-level-ontology.kif 31598-31598 | |
| (roomTempState GreenhouseGas Gas) | Mid-level-ontology.kif 31604-31604 | |
| (roomTempState Hashish Gas) | Mid-level-ontology.kif 31608-31608 | |
| (roomTempState Helium Gas) | Mid-level-ontology.kif 31447-31447 | |
| (roomTempState Heroin Gas) | Mid-level-ontology.kif 31609-31609 | |
| (roomTempState Hydrogen Gas) | Mid-level-ontology.kif 31446-31446 | |
| (roomTempState Krypton Gas) | Mid-level-ontology.kif 31482-31482 | |
| (roomTempState LiquefiedPetroleumGas Gas) | Mid-level-ontology.kif 31392-31392 | |
| (roomTempState MustardGas Gas) | Mid-level-ontology.kif 31544-31544 | |
| (roomTempState NaturalGas Gas) | Mid-level-ontology.kif 31623-31623 | |
| (roomTempState Neon Gas) | Mid-level-ontology.kif 31456-31456 | |
| (roomTempState NitricOxide Gas) | Mid-level-ontology.kif 31625-31625 | |
| 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 |
| appearance as argument number 4 |
|
|
| (exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17565-17565 |
| 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 |
|
|
|