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 | Lens e' uma sub-classe de OpticalDevice |
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 |