(=>
(and
(equal
(MeasureFn ?NUMBER ?UNIT) ?QUANT)
(instance ?UNIT UnitOfTemperature))
(instance ?QUANT TemperatureMeasure)) |
Merge.kif 6431-6435 |
If equal X Y(s) and Z and Y is an instance of unit of temperature, then Z is an instance of temperature measure |
(=>
(and
(instance ?HEAT Heating)
(patient ?HEAT ?OBJ))
(exists (?UNIT ?QUANT1 ?QUANT2)
(and
(instance ?UNIT TemperatureMeasure)
(holdsDuring
(BeginFn
(WhenFn ?HEAT))
(equal
(MeasureFn ?OBJ ?UNIT) ?QUANT1))
(holdsDuring
(EndFn
(WhenFn ?HEAT))
(equal
(MeasureFn ?OBJ ?UNIT) ?QUANT2))
(greaterThan ?QUANT2 ?QUANT1)))) |
Merge.kif 11078-11091 |
If X is an instance of heating and Y is a patient of X, then there exist Z, W and V such that Z is an instance of temperature measure and equal Y Z(s) and W holds during the beginning of the time of existence of X and equal Y Z(s) and V holds during the end of the time of existence of X and V is greater than W |
(=>
(and
(instance ?COOL Cooling)
(patient ?COOL ?OBJ))
(exists (?UNIT ?QUANT1 ?QUANT2)
(and
(instance ?UNIT TemperatureMeasure)
(holdsDuring
(BeginFn
(WhenFn ?COOL))
(equal
(MeasureFn ?OBJ ?UNIT) ?QUANT1))
(holdsDuring
(EndFn
(WhenFn ?COOL))
(equal
(MeasureFn ?OBJ ?UNIT) ?QUANT2))
(lessThan ?QUANT2 ?QUANT1)))) |
Merge.kif 11119-11132 |
If X is an instance of cooling and Y is a patient of X, then there exist Z, W and V such that Z is an instance of temperature measure and equal Y Z(s) and W holds during the beginning of the time of existence of X and equal Y Z(s) and V holds during the end of the time of existence of X and V is less than W |
(=>
(and
(instance ?MEASURE Measuring)
(result ?MEASURE ?QUANTITY)
(instrument ?MEASURE ?THERMOMETER)
(instance ?THERMOMETER Thermometer))
(instance ?QUANTITY TemperatureMeasure)) |
Mid-level-ontology.kif 3390-3396 |
If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of thermometer, then Y is an instance of temperature measure |
(=>
(and
(instance ?M Measuring)
(result ?M ?Q)
(instrument ?M ?T)
(instance ?T Thermometer))
(instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 3402-3408 |
If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of thermometer, then Y is an instance of temperature measure |
(=>
(and
(attribute ?X ?Y)
(instance ?Y TemperatureAttribute)
(instance ?X Object))
(exists (?TEMP)
(and
(measure ?X ?TEMP)
(instance ?TEMP TemperatureMeasure)
(attribute ?TEMP ?Y)))) |
Mid-level-ontology.kif 28351-28360 |
If X is an attribute of Y, X is an instance of temperature attribute, and Y is an instance of object, then there exists Z such that the measure of Y is Z, Z is an instance of temperature measure, and X is an attribute of Z |
(=>
(and
(immediateInstance ?X ?CLASS)
(immediateInstance ?Y ?CLASS)
(attribute ?X ColdTemperature)
(attribute ?Y HotTemperature))
(exists (?TEMPX ?TEMPY ?UNIT)
(and
(measure ?X
(MeasureFn ?TEMPX ?UNIT))
(instance ?UNIT UnitOfTemperature)
(instance ?TEMPX TemperatureMeasure)
(measure ?Y
(MeasureFn ?TEMPY ?UNIT))
(instance ?TEMPY TemperatureMeasure)
(greaterThan ?TEMPY ?TEMPX)))) |
Mid-level-ontology.kif 28386-28401 |
If X is an immediate instance of Y, Z is an immediate instance of Y, cold is an attribute of X, and hot is an attribute of Z, then there exist W, V and U such that the measure of X is W U(s) and U is an instance of unit of temperature and W is an instance of temperature measure and the measure of Z is V U(s) and V is an instance of temperature measure and V is greater than W |
