| 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 2504-2506 | |
| (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 2503-2503 | Lens is a subclass of optical device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Lens "镜片") | domainEnglishFormat.kif 34089-34089 | |
| (termFormat ChineseTraditionalLanguage Lens "鏡片") | domainEnglishFormat.kif 34088-34088 | |
| (termFormat EnglishLanguage Lens "lens") | domainEnglishFormat.kif 34087-34087 |
| consequent |
|
|
| (=> (instance ?F Focusing) (exists (?L) (and (instance ?L Lens) (patient ?F ?L)))) |
Mid-level-ontology.kif 3339-3344 |
|
|
|
|