Glass - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Glass EnglishLanguage "A transparent or translucent Mixture of silicates.")	Mid-level-ontology.kif 10117-10117
(externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/8/8c/ ObsidianOregon.jpg")	pictureList.kif 1781-1781
(externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Glass_Store.JPG")	pictureList.kif 2193-2193
(externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Glass_Ball.jpg")	pictureList.kif 1480-1480
(roomTempState Glass Liquid)	Mid-level-ontology.kif 33550-33550	room temperature state glass and liquid
(subclass Glass Mixture)	Mid-level-ontology.kif 10116-10116	Glass is a subclass of mixture

appearance as argument number 2

(termFormat ChineseLanguage Glass "玻璃")	domainEnglishFormat.kif 26123-26123
(termFormat ChineseTraditionalLanguage Glass "玻璃")	domainEnglishFormat.kif 26122-26122
(termFormat EnglishLanguage Glass "glass")	domainEnglishFormat.kif 26121-26121

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 3297-3307

If an object is an instance of windshield,
then there exist another object, a third object and a fourth object such that the other object is an instance of glass and the third object is an instance of glass and the fourth object is an instance of plastic and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object and the fourth object is between the other object and the third object

statement

(equal 5.5
(MohsScaleFn Glass))

Mid-level-ontology.kif 10449-10449

equal 5.5 and The Mohs Scale of glass is

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: