(=>
(instance ?X RadiatingXRay)
(exists (?M)
(and
(wavelength ?X
(MeasureFn ?M Nanometer))
(greaterThanOrEqualTo ?M 0.01)
(lessThan 10.0 ?M)))) |
Mid-level-ontology.kif 593-600 |
If X is an instance of X ray radiation, then there exists Y such that the wavelength of X is Y nanometer(s) and Y is greater than or equal to 0.01 and 10.0 is less than Y |
(=>
(and
(instance ?X CompactDisc)
(instance ?READ Decoding)
(patient ?READ ?X))
(exists (?LASER)
(and
(instance ?LASER RadiatingLight)
(instrument ?READ ?LASER)
(wavelength ?LASER
(MeasureFn 780 Nanometer))))) |
Media.kif 1101-1111 |
If X is an instance of compact disc, Y is an instance of decoding, and X is a patient of Y, then there exists Z such that Z is an instance of radiating light and Z is an instrument for Y and the wavelength of Z is 780 nanometer(s) |
(=>
(and
(instance ?X BluRayDisc)
(instance ?READ Decoding)
(patient ?READ ?X))
(exists (?LASER)
(and
(instance ?LASER RadiatingLight)
(instrument ?READ ?LASER)
(wavelength ?LASER
(MeasureFn 405 Nanometer))))) |
Media.kif 1139-1149 |
If X is an instance of blu ray disc, Y is an instance of decoding, and X is a patient of Y, then there exists Z such that Z is an instance of radiating light and Z is an instrument for Y and the wavelength of Z is 405 nanometer(s) |
(=>
(and
(instance ?X DVD)
(instance ?READ Decoding)
(patient ?READ ?X))
(exists (?LASER)
(and
(instance ?LASER RadiatingLight)
(instrument ?READ ?LASER)
(wavelength ?LASER
(MeasureFn 650 Nanometer))))) |
Media.kif 1204-1214 |
If X is an instance of DVD, Y is an instance of decoding, and X is a patient of Y, then there exists Z such that Z is an instance of radiating light and Z is an instrument for Y and the wavelength of Z is 650 nanometer(s) |
(=>
(radarEmissionFrequency ?R ?F ?T)
(holdsDuring ?T
(exists (?E ?L ?C)
(and
(instance ?E RadiatingElectromagnetic)
(instrument ?E ?R)
(wavelength ?E
(MeasureFn ?L Nanometer))
(equal
(MeasureFn ?C MeterPerSecond) SpeedOfLight)
(equal ?F
(MeasureFn
(DivisionFn ?C ?L) Hertz)))))) |
Transportation.kif 5541-5551 |
If X has the emission frequency of Y during Z, then there exist W, V and U such that W is an instance of radiating electromagnetic and X is an instrument for W and the wavelength of W is V nanometer(s) and equal U meter per second(s) and speed of light in vacuum and equal Y and U and V hertz(s) holds during Z |
(=>
(instance ?L Laser)
(exists (?X ?Y ?O1 ?O2 ?X1 ?Y1)
(and
(instance ?X RadiatingVisibleLight)
(instance ?Y RadiatingVisibleLight)
(instrument ?X ?L)
(instrument ?Y ?L)
(origin ?X ?O1)
(origin ?Y ?O2)
(equal ?O1 ?O2)
(not
(equal ?X ?Y))
(wavelength ?X
(MeasureFn ?X1 Nanometer))
(wavelength ?Y
(MeasureFn ?Y1 Nanometer))
(approximateValue ?X1 ?Y1)))) |
engineering.kif 1147-1162 |
If X is an instance of laser, then there exist Y, Z,, , W,, , V,, , U and T such that Y is an instance of radiating visible light and Z is an instance of radiating visible light and X is an instrument for Y and X is an instrument for Z and Y originates at W and Z originates at V and equal W and V and equal Y and Z and the wavelength of Y is U nanometer(s) and the wavelength of Z is T nanometer(s) and the approximate value of U is T |
