(=>
(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 |
- If a physical is an instance of inflating,
- then there exist an object, another object,, , a real number,, , another real number,, , a class and an entity such that the object is an instance of the class and the other object is an instance of the class and the class is an instance of substance and gas is an attribute of the object and gas is an attribute of the other object and the entity is an instance of unit of volume and the measure of the object is the real number the entity(s) holds during immediately before the time of existence of the physical and the measure of the other object is the other real number the entity(s) holds during immediately after the time of existence of the physical and the other real number is greater than the real number
|
(=>
(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 |
|
