(=>
(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 1192-1202 |
|
(=>
(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 1156-1166 |
|
(=>
(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 1257-1267 |
|
(=>
(equal ?NUMBER
(MultiplicationFn 1.0 ?NUMBER))
(equal
(MeasureFn ?NUMBER Nanometer)
(MeasureFn
(MultiplicationFn ?NUMBER 0.000000001) Meter))) |
Mid-level-ontology.kif 19373-19379 |
|
(=>
(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 1060-1075 |
- If an object is an instance of laser,
- then there exist a radiating, another radiating,, , another object,, , a third object,, , the radiating1 and the other radiating1 such that the radiating is an instance of radiating visible light and the other radiating is an instance of radiating visible light and the object is an instrument for the radiating and the object is an instrument for the other radiating and the radiating originates at the other object and the other radiating originates at the third object and the other object is equal to the third object and the radiating is not equal to the other radiating and the wavelength of the radiating is the radiating1 nanometer(s) and the wavelength of the other radiating is the other radiating1 nanometer(s) and the approximate value of the radiating1 is the other radiating1
|
(=>
(instance ?X RadiatingXRay)
(exists (?M)
(and
(wavelength ?X
(MeasureFn ?M Nanometer))
(greaterThanOrEqualTo ?M 0.01)
(lessThan 10.0 ?M)))) |
Mid-level-ontology.kif 603-610 |
|
(=>
(instance ?Z Colloid)
(exists (?P ?S)
(and
(part ?P ?Z)
(attribute ?P Insoluble)
(approximateDiameter ?P
(MeasureFn ?S Nanometer))
(greaterThan 977.0 ?S)
(greaterThan ?S 0.95)))) |
Mid-level-ontology.kif 21849-21858 |
|
