| 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 17749-17750 | |
| (instance Gas PhysicalState) | Merge.kif 17747-17747 | |
| (subAttribute Gas Fluid) | Merge.kif 17748-17748 |
| appearance as argument number 2 |
|
|
| (roomTempState Argon Gas) | Mid-level-ontology.kif 33413-33413 | |
| (roomTempState Arsine Gas) | Mid-level-ontology.kif 33501-33501 | |
| (roomTempState BZGas Gas) | Mid-level-ontology.kif 33516-33516 | |
| (roomTempState CSGas Gas) | Mid-level-ontology.kif 33535-33535 | |
| (roomTempState CarbonDioxide Gas) | Mid-level-ontology.kif 33519-33519 | |
| (roomTempState ChlorineGas Gas) | Mid-level-ontology.kif 33523-33523 | |
| (roomTempState Chlorofluorocarbon Gas) | Mid-level-ontology.kif 33524-33524 | |
| (roomTempState Chloropicrin Gas) | Mid-level-ontology.kif 33525-33525 | |
| (roomTempState ChokingAgent Gas) | Mid-level-ontology.kif 33526-33526 | |
| (roomTempState Diphosgene Gas) | Mid-level-ontology.kif 33539-33539 | |
| (roomTempState Exhaust Gas) | Mid-level-ontology.kif 33544-33544 | |
| (roomTempState Fluorine Gas) | Mid-level-ontology.kif 33404-33404 | |
| (roomTempState Freon12 Gas) | Mid-level-ontology.kif 33545-33545 | |
| (roomTempState GasMixture Gas) | Mid-level-ontology.kif 33547-33547 | |
| (roomTempState GreenhouseGas Gas) | Mid-level-ontology.kif 33553-33553 | |
| (roomTempState Hashish Gas) | Mid-level-ontology.kif 33557-33557 | |
| (roomTempState Helium Gas) | Mid-level-ontology.kif 33396-33396 | |
| (roomTempState Heroin Gas) | Mid-level-ontology.kif 33558-33558 | |
| (roomTempState Hydrogen Gas) | Mid-level-ontology.kif 33395-33395 | |
| (roomTempState Krypton Gas) | Mid-level-ontology.kif 33431-33431 | |
| (roomTempState LiquefiedPetroleumGas Gas) | Mid-level-ontology.kif 33341-33341 | |
| (roomTempState MustardGas Gas) | Mid-level-ontology.kif 33493-33493 | |
| (roomTempState NaturalGas Gas) | Mid-level-ontology.kif 33572-33572 | |
| (roomTempState Neon Gas) | Mid-level-ontology.kif 33405-33405 | |
| (roomTempState NitricOxide Gas) | Mid-level-ontology.kif 33574-33574 | |
| 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 17725-17725 |
| appearance as argument number 4 |
|
|
| (exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17726-17726 |
| 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 5953-5962 | |
| (=> (and (instance ?X Substance) (or (attribute ?X Gas) (attribute ?X Liquid) (attribute ?X Plasma))) (attribute ?X Fluid)) |
Merge.kif 17777-17784 |
| 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 13994-14007 | |
| (=> (and (instance ?AS AirStream) (part ?AIR ?AS)) (attribute ?AIR Gas)) |
Weather.kif 69-73 | |
| (=> (and (instance ?B Bubble) (interiorPart ?P ?B)) (attribute ?P Gas)) |
Mid-level-ontology.kif 5947-5951 | |
| (=> (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 14086-14094 | |
| (=> (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 14132-14140 | |
| (=> (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 7334-7351 | |
| (=> (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 14106-14119 | |
| (=> (and (instance ?MOTION GasMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Gas)) |
Merge.kif 11388-11392 | |
| (=> (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 7386-7403 | |
| (=> (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 13951-13960 | |
| (=> (and (instance ?Y NitricOxide) (holdsDuring ?T (property ?Y StandardAmbientTemperaturePressure))) (holdsDuring ?T (attribute ?Y Gas))) |
Geography.kif 7553-7559 | |
| (=> (and (instance ?Y NitrogenDioxide) (holdsDuring ?T (property ?Y StandardAmbientTemperaturePressure))) (holdsDuring ?T (attribute ?Y Gas))) |
Geography.kif 7578-7584 | |
| (=> (and (instance ?Y SulphurDioxide) (holdsDuring ?T (property ?Y StandardAmbientTemperaturePressure))) (holdsDuring ?T (attribute ?Y Gas))) |
Geography.kif 7518-7524 | |
| (=> (attribute ?G HazardousGases) (and (instance ?G Substance) (attribute ?G Gas) (capability Combustion resource ?G) (capability Damaging resource ?G) (capability Corrosion resource ?G))) |
Transportation.kif 4142-4149 | |
| (=> (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 7395-7409 | |
| (=> (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 2198-2200 | |
| (=> (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 14896-14901 | |
| (=> (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 27548-27556 |
|
|
|