(=>
(and
(instance ?S RadiatingSound)
(path ?S ?R)
(distanceOnPath ?L ?R)
(duration
(WhenFn ?S) ?D)
(speedOfSound ?Q ?R
(WhenFn ?S)))
(equal ?Q
(SpeedFn ?L ?D))) |
Transportation.kif 5116-5126 |
If X is an instance of radiating sound, Y is path along which X occurs, the distance of Y is Z, duration of the time of existence of X is W, and the speedOfSound for V at Y is V, then equal V and Z per W |
(=>
(and
(instance ?S RadiatingSound)
(speedOfSound ?Q ?R
(WhenFn ?S)))
(exists (?D ?L)
(and
(path ?S ?R)
(distanceOnPath ?L ?R)
(duration
(WhenFn ?S) ?D)
(equal ?Q
(SpeedFn ?L ?D))))) |
Transportation.kif 5128-5139 |
If X is an instance of radiating sound and the speedOfSound for Y at Z is Y, then there exist W, V such that Z is path along which X occurs, the distance of Z is V, duration of the time of existence of X is W, equal Y, and V per W |
(=>
(and
(speedOfSound
(MeasureFn ?N MeterPerSecond) ?R ?T)
(located ?R EarthsAtmosphere)
(holdsDuring ?T
(property ?R StandardAmbientTemperaturePressure)))
(holdsDuring ?T
(approximateValue ?N 346))) |
Transportation.kif 5141-5148 |
If the speedOfSound for X meter per second(s) at Y is X meter per second(s), Y is located at earths atmosphere, and Y the attribute standard ambient temperature and pressure holds during Z, then the approximate value of X is 346 holds during Z |
(=>
(speedOfSound
(MeasureFn ?N MeterPerSecond) ?R ?T)
(holdsDuring ?T
(exists (?W)
(and
(located ?R ?W)
(instance ?W FreshWater)
(measure ?W
(MeasureFn 20 CelsiusDegree))
(approximateValue ?N 1481))))) |
Transportation.kif 5150-5158 |
If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is located at Z and Z is an instance of freshwater and the measure of Z is 20 celsius degree(s) and the approximate value of X is 1481 holds during W |
(=>
(speedOfSound
(MeasureFn ?N MeterPerSecond) ?R ?T)
(holdsDuring ?T
(exists (?O)
(and
(part ?R ?O)
(instance ?0 CorpuscularObject)
(material Iron ?O)
(measure ?O
(MeasureFn 20 CelsiusDegree))
(approximateValue ?N 5120))))) |
Transportation.kif 5160-5170 |
If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is a part of Z and W is an instance of corpuscular object and Z is made of iron and the measure of Z is 20 celsius degree(s) and the approximate value of X is 5120 holds during V |
(=>
(speedOfSound
(MeasureFn ?N MeterPerSecond) ?R ?T)
(holdsDuring ?T
(exists (?O)
(and
(part ?R ?O)
(instance ?0 CorpuscularObject)
(material Diamond ?O)
(measure ?O
(MeasureFn 20 CelsiusDegree))
(approximateValue ?N 12000))))) |
Transportation.kif 5172-5182 |
If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is a part of Z and W is an instance of corpuscular object and Z is made of diamond and the measure of Z is 20 celsius degree(s) and the approximate value of X is 12000 holds during V |
(=>
(and
(instance ?F Flying)
(patient ?F ?A)
(instance ?A Aircraft)
(path ?F ?R)
(distanceOnPath ?L ?R)
(duration
(WhenFn ?F) ?D)
(speedOfSound ?Q ?R
(WhenFn ?F))
(holdsDuring
(WhenFn ?F)
(measure ?A
(MeasureFn ?M MachNumber))))
(equal ?M
(DivisionFn
(SpeedFn ?L ?D) ?Q))) |
Transportation.kif 5225-5237 |
If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of aircraft (4) Z is path along which X occurs (5) the distance of Z is W (6) duration of the time of existence of X is V (7) the speedOfSound for U at Z is U (8) the measure of Y is T Mach number(s) holds during the time of existence of X, then equal T, W per V, and U |
