| 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 17670-17671 | |
| (instance Gas PhysicalState) | Merge.kif 17668-17668 | |
| (subAttribute Gas Fluid) | Merge.kif 17669-17669 |
| appearance as argument number 2 |
|
|
| (roomTempState Argon Gas) | Mid-level-ontology.kif 32591-32591 | |
| (roomTempState Arsine Gas) | Mid-level-ontology.kif 32679-32679 | |
| (roomTempState BZGas Gas) | Mid-level-ontology.kif 32694-32694 | |
| (roomTempState CSGas Gas) | Mid-level-ontology.kif 32713-32713 | |
| (roomTempState CarbonDioxide Gas) | Mid-level-ontology.kif 32697-32697 | |
| (roomTempState ChlorineGas Gas) | Mid-level-ontology.kif 32701-32701 | |
| (roomTempState Chlorofluorocarbon Gas) | Mid-level-ontology.kif 32702-32702 | |
| (roomTempState Chloropicrin Gas) | Mid-level-ontology.kif 32703-32703 | |
| (roomTempState ChokingAgent Gas) | Mid-level-ontology.kif 32704-32704 | |
| (roomTempState Diphosgene Gas) | Mid-level-ontology.kif 32717-32717 | |
| (roomTempState Exhaust Gas) | Mid-level-ontology.kif 32722-32722 | |
| (roomTempState Fluorine Gas) | Mid-level-ontology.kif 32582-32582 | |
| (roomTempState Freon12 Gas) | Mid-level-ontology.kif 32723-32723 | |
| (roomTempState GasMixture Gas) | Mid-level-ontology.kif 32725-32725 | |
| (roomTempState GreenhouseGas Gas) | Mid-level-ontology.kif 32731-32731 | |
| (roomTempState Hashish Gas) | Mid-level-ontology.kif 32735-32735 | |
| (roomTempState Helium Gas) | Mid-level-ontology.kif 32574-32574 | |
| (roomTempState Heroin Gas) | Mid-level-ontology.kif 32736-32736 | |
| (roomTempState Hydrogen Gas) | Mid-level-ontology.kif 32573-32573 | |
| (roomTempState Krypton Gas) | Mid-level-ontology.kif 32609-32609 | |
| (roomTempState LiquefiedPetroleumGas Gas) | Mid-level-ontology.kif 32519-32519 | |
| (roomTempState MustardGas Gas) | Mid-level-ontology.kif 32671-32671 | |
| (roomTempState NaturalGas Gas) | Mid-level-ontology.kif 32750-32750 | |
| (roomTempState Neon Gas) | Mid-level-ontology.kif 32583-32583 | |
| (roomTempState NitricOxide Gas) | Mid-level-ontology.kif 32752-32752 | |
| 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 17646-17646 |
| appearance as argument number 4 |
|
|
| (exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17647-17647 |
| 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 5565-5574 | |
| (=> (and (instance ?X Substance) (or (attribute ?X Gas) (attribute ?X Liquid) (attribute ?X Plasma))) (attribute ?X Fluid)) |
Merge.kif 17698-17705 |
| 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 13915-13928 | |
| (=> (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 5559-5563 | |
| (=> (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 14007-14015 | |
| (=> (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 14053-14061 | |
| (=> (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 14027-14040 | |
| (=> (and (instance ?MOTION GasMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Gas)) |
Merge.kif 11313-11317 | |
| (=> (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 13872-13881 | |
| (=> (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 7007-7021 | |
| (=> (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 14817-14822 | |
| (=> (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 26745-26753 |
|
|
|