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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Glass
Glass(glass)
glass, 玻璃

appearance as argument number 1
-------------------------


(documentation Glass EnglishLanguage "A transparent or translucent Mixture of silicates.") Mid-level-ontology.kif 8586-8586
(externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/8/8c/ ObsidianOregon.jpg") pictureList.kif 1783-1783 "http://upload.wikimedia.org/wikipedia/commons/8/8c/ ObsidianOregon.jpg" is a URL depicting glass
(externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Glass_Store.JPG") pictureList.kif 2195-2195 "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Glass_Store.JPG" is a URL depicting glass
(externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Glass-Ball.jpg") pictureList.kif 1481-1481 "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Glass-Ball.jpg" is a URL depicting glass
(subclass Glass Mixture) Mid-level-ontology.kif 8585-8585 Glass is a subclass of mixture

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Glass "玻璃") domainEnglishFormat.kif 26041-26041 "玻璃" is the printable form of glass in ChineseLanguage
(termFormat ChineseTraditionalLanguage Glass "玻璃") domainEnglishFormat.kif 26040-26040 "玻璃" is the printable form of glass in ChineseTraditionalLanguage
(termFormat EnglishLanguage Glass "glass") domainEnglishFormat.kif 26039-26039 "glass" is the printable form of glass in english language

consequent
-------------------------


(=>
    (instance ?LW LaminatedWindshield)
    (exists (?G1 ?G2 ?P)
        (and
            (instance ?G1 Glass)
            (instance ?G2 Glass)
            (instance ?P Plastic)
            (part ?G1 ?LW)
            (part ?G2 ?LW)
            (part ?P ?LW)
            (between ?G1 ?P ?G2))))
Cars.kif 3210-3220


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners