| Lens
| |
| 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 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Lens "镜片") | domainEnglishFormat.kif 34055-34055 | |
| (termFormat ChineseTraditionalLanguage Lens "鏡片") | domainEnglishFormat.kif 34054-34054 | |
| (termFormat EnglishLanguage Lens "lens") | domainEnglishFormat.kif 34053-34053 |
| consequent |
|
|
| (=> (instance ?F Focusing) (exists (?L) (and (instance ?L Lens) (patient ?F ?L)))) |
Mid-level-ontology.kif 3339-3344 |
|
|
|