Glass - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Glass EnglishLanguage "A transparent or translucent Mixture of silicates.")	Mid-level-ontology.kif 9684-9684
(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 32728-32728	roomTempState glass and liquid
(subclass Glass Mixture)	Mid-level-ontology.kif 9683-9683	Glass is a subclass of mixture

appearance as argument number 2

(termFormat ChineseLanguage Glass "玻璃")	domainEnglishFormat.kif 26140-26140
(termFormat ChineseTraditionalLanguage Glass "玻璃")	domainEnglishFormat.kif 26139-26139
(termFormat EnglishLanguage Glass "glass")	domainEnglishFormat.kif 26138-26138

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 10016-10016

5.5 is equal to 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: