![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Glass EnglishLanguage "A transparent or translucent Mixture of silicates.") | Mid-level-ontology.kif 8514-8514 | |
(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 8513-8513 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Glass "玻璃") | domainEnglishFormat.kif 26103-26103 | |
(termFormat ChineseTraditionalLanguage Glass "玻璃") | domainEnglishFormat.kif 26102-26102 | |
(termFormat EnglishLanguage Glass "glass") | domainEnglishFormat.kif 26101-26101 |
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 3236-3246 |
![]() |
![]() |