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