| 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 2560-2561 | |
| (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 2559-2559 | Optical device is a subclass of device |
| appearance as argument number 2 |
|
|
| (subclass EyeGlass OpticalDevice) | Mid-level-ontology.kif 2571-2571 | Eye glass is a subclass of optical device |
| (subclass Lens OpticalDevice) | Mid-level-ontology.kif 2576-2576 | Lens is a subclass of optical device |
| (subclass Microscope OpticalDevice) | Mid-level-ontology.kif 2581-2581 | Microscope is a subclass of optical device |
| (termFormat ChineseLanguage OpticalDevice "光学设备") | domainEnglishFormat.kif 42361-42361 | Microscope is a subclass of optical device |
| (termFormat ChineseTraditionalLanguage OpticalDevice "光學設備") | domainEnglishFormat.kif 42360-42360 | Microscope is a subclass of optical device |
| (termFormat EnglishLanguage OpticalDevice "optical device") | domainEnglishFormat.kif 42359-42359 | 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 2563-2569 |
|
|
|
|