| Glass(glass)
| | glass |
| appearance as argument number 1 |
|
|
| (documentation Glass EnglishLanguage "A transparent or translucent Mixture of silicates.") | Mid-level-ontology.kif 8566-8566 | |
| (externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/8/8c/ ObsidianOregon.jpg") | pictureList.kif 1783-1783 | |
| (externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Glass_Store.JPG") | pictureList.kif 2195-2195 | |
| (externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Glass-Ball.jpg") | pictureList.kif 1481-1481 | |
| (subclass Glass Mixture) | Mid-level-ontology.kif 8565-8565 | Glass is a subclass of mixture |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Glass "玻璃") | domainEnglishFormat.kif 26035-26035 | |
| (termFormat ChineseTraditionalLanguage Glass "玻璃") | domainEnglishFormat.kif 26034-26034 | |
| (termFormat EnglishLanguage Glass "glass") | domainEnglishFormat.kif 26033-26033 |
| 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 3211-3221 |
|
|
|
|