Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lens

Sigma KEE - Lens
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners