Glass |
appearance as argument number 1 |
(documentation Glass EnglishLanguage "A transparent or translucent Mixture of silicates.") | Mid-level-ontology.kif 8938-8938 | |
(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 31637-31637 | roomTempState Glass and Liquid |
(subclass Glass Mixture) | Mid-level-ontology.kif 8937-8937 | Glass è una sottoclasse di Mistura |
appearance as argument number 2 |
(termFormat ChineseLanguage Glass "玻璃") | domainEnglishFormat.kif 26112-26112 | |
(termFormat ChineseTraditionalLanguage Glass "玻璃") | domainEnglishFormat.kif 26111-26111 | |
(termFormat EnglishLanguage Glass "glass") | domainEnglishFormat.kif 26110-26110 |
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 |