| OpticalDevice(optical device)
| | diffusing_screen, light_filter, scope, telephoto_lens, telescope, zoom_lens |
| appearance as argument number 1 |
|
|
| (documentation OpticalDevice EnglishLanguage "A Device which enables someone to see something more clearly or with greater magnification.") | Mid-level-ontology.kif 2487-2488 | |
| (externalImage OpticalDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 3f/ Refraction_through_glasses_090306.jpg/ 200px-Refraction_through_glasses_090306.jpg") | pictureList.kif 1205-1205 | |
| (subclass OpticalDevice Device) | Mid-level-ontology.kif 2486-2486 | Optical device is a subclass of device |
| appearance as argument number 2 |
|
|
| (subclass EyeGlass OpticalDevice) | Mid-level-ontology.kif 2498-2498 | Eye glass is a subclass of optical device |
| (subclass Lens OpticalDevice) | Mid-level-ontology.kif 2503-2503 | Lens is a subclass of optical device |
| (subclass Microscope OpticalDevice) | Mid-level-ontology.kif 2508-2508 | Microscope is a subclass of optical device |
| (termFormat ChineseLanguage OpticalDevice "光学设备") | domainEnglishFormat.kif 42368-42368 | Microscope is a subclass of optical device |
| (termFormat ChineseTraditionalLanguage OpticalDevice "光學設備") | domainEnglishFormat.kif 42367-42367 | Microscope is a subclass of optical device |
| (termFormat EnglishLanguage OpticalDevice "optical device") | domainEnglishFormat.kif 42366-42366 | Microscope is a subclass of optical device |
| antecedent |
|
|
| (=> (instance ?D OpticalDevice) (hasPurpose ?D (exists (?S) (and (instance ?S Seeing) (instrument ?S ?D))))) |
Mid-level-ontology.kif 2490-2496 |
|
|
|
|