(=>
(and
(roomTempState ?C ?PS)
(instance ?S ?C)
(holdsDuring ?T
(roomTempState ?C Liquid))
(measure ?S
(MeasureFn 101
(KiloFn Pascal))))
(holdsDuring ?T
(measure ?S
(MeasureFn 68 FahrenheitDegree)))) |
Mid-level-ontology.kif 34109-34120 |
If room temperature state X and Y, Z is an instance of X, room temperature state X and liquid holds during W, and the measure of Z is 101 1 thousand pascals(s), then the measure of Z is 68 fahrenheit degree(s) holds during W |
(=>
(holdsDuring ?T
(and
(refractiveIndex ?CLASS ?X)
(roomTempState ?CLASS Gas)))
(holdsDuring ?T
(exists (?S)
(and
(instance ?S ?CLASS)
(measure ?S
(MeasureFn 0 CelsiusDegree))
(measure ?S
(MeasureFn 101325 Pascal)))))) |
Transportation.kif 5590-5600 |
If the RefractiveIndexFn of X is Y, room temperature state X, and gas holds during Z, then there exists W such that W is an instance of X and the measure of W is 0 celsius degree(s) and the measure of W is 101325 pascal(s) holds during Z |
(=>
(holdsDuring ?T
(and
(refractiveIndex ?CLASS ?X)
(roomTempState ?CLASS Gas)))
(holdsDuring ?T
(exists (?S)
(and
(instance ?S ?CLASS)
(measure ?S
(MeasureFn 20 CelsiusDegree)))))) |
Transportation.kif 5602-5611 |
If the RefractiveIndexFn of X is Y, room temperature state X, and gas holds during Z, then there exists W such that W is an instance of X and the measure of W is 20 celsius degree(s) holds during Z |
(=>
(holdsDuring ?T
(and
(refractiveIndex ?CLASS ?X)
(roomTempState ?CLASS Solid)))
(holdsDuring ?T
(exists (?S ?N)
(and
(instance ?S ?CLASS)
(measure ?S
(MeasureFn ?N CelsiusDegree))
(greaterThanOrEqualTo ?N 20)
(lessThanOrEqualTo ?N 26.85))))) |
Transportation.kif 5613-5624 |
If the RefractiveIndexFn of X is Y, room temperature state X, and solid holds during Z, then there exist W and V such that W is an instance of X and the measure of W is V celsius degree(s) and V is greater than or equal to 20 and V is less than or equal to 26.85 holds during Z |
