| Glass(glass)
| | glass |
| appearance as argument number 1 |
|
|
| (documentation Glass EnglishLanguage "A transparent or translucent Mixture of silicates.") | Mid-level-ontology.kif 9129-9129 | |
| (externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/8/8c/ ObsidianOregon.jpg") | pictureList.kif 1782-1782 | |
| (externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Glass_Store.JPG") | pictureList.kif 2194-2194 | |
| (externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Glass-Ball.jpg") | pictureList.kif 1480-1480 | |
| (roomTempState Glass Liquid) | Mid-level-ontology.kif 31870-31870 | roomTempState glass and liquid |
| (subclass Glass Mixture) | Mid-level-ontology.kif 9128-9128 | Glass is a subclass of mixture |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Glass "玻璃") | domainEnglishFormat.kif 26146-26146 | |
| (termFormat ChineseTraditionalLanguage Glass "玻璃") | domainEnglishFormat.kif 26145-26145 | |
| (termFormat EnglishLanguage Glass "glass") | domainEnglishFormat.kif 26144-26144 |
| 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 3221-3231 |
|
|
|
|