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 |
appearance as argument number 2 |
(subclass EyeGlass OpticalDevice) | Mid-level-ontology.kif 2498-2498 | |
(subclass Lens OpticalDevice) | Mid-level-ontology.kif 2503-2503 | |
(subclass Microscope OpticalDevice) | Mid-level-ontology.kif 2508-2508 | |
(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 |