|
|
   OpticalDevice
|
|
|
| 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 2494-2495 | |
| (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 2493-2493 | 光学设备 是 设备 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass EyeGlass OpticalDevice) | Mid-level-ontology.kif 2505-2505 | 眼镜 是 光学设备 的 subclass |
| (subclass Lens OpticalDevice) | Mid-level-ontology.kif 2510-2510 | 镜片 是 光学设备 的 subclass |
| (subclass Microscope OpticalDevice) | Mid-level-ontology.kif 2515-2515 | 显微镜 是 光学设备 的 subclass |
| (termFormat ChineseLanguage OpticalDevice "光学设备") | domainEnglishFormat.kif 42330-42330 | |
| (termFormat ChineseTraditionalLanguage OpticalDevice "光學設備") | domainEnglishFormat.kif 42329-42329 | |
| (termFormat EnglishLanguage OpticalDevice "optical device") | domainEnglishFormat.kif 42328-42328 |
| antecedent |
|
|
| (=> (instance ?D OpticalDevice) (hasPurpose ?D (exists (?S) (and (instance ?S Seeing) (instrument ?S ?D))))) |
Mid-level-ontology.kif 2497-2503 |
|
|
|
