| Lens(lens)
| | camera_lens, field_lens, hand_glass, lens, lens_system, lense, magnifying_glass, optical_lens, simple_microscope |
| appearance as argument number 1 |
|
|
| (documentation Lens EnglishLanguage "An OpticalDevice which consists of a polished, transparent piece of glass or plastic. Lenses are often part of other OpticalDevices.") | Mid-level-ontology.kif 2577-2579 | |
| (externalImage Lens "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 34/ Lenso.jpg/ 180px_Lenso.jpg") | pictureList.kif 1156-1156 | |
| (subclass Lens OpticalDevice) | Mid-level-ontology.kif 2576-2576 | Lens is a subclass of optical device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Lens "镜片") | domainEnglishFormat.kif 34083-34083 | |
| (termFormat ChineseTraditionalLanguage Lens "鏡片") | domainEnglishFormat.kif 34082-34082 | |
| (termFormat EnglishLanguage Lens "lens") | domainEnglishFormat.kif 34081-34081 |
| consequent |
|
|
| (=> (instance ?F Focusing) (exists (?L) (and (instance ?L Lens) (patient ?F ?L)))) |
Mid-level-ontology.kif 3412-3417 |
|
|
|
|