LaminatedWindshield
|
|
appearance as argument number 1 |
(documentation LaminatedWindshield EnglishLanguage "A type of glass required in all modern Automobiles that consists of two layers of glass with a layer of plastic sandwiched in between. The plastic layer keeps shards of glass from separating completely from the rest of the windshield when broken, and is therefore a key feature in accident safety.") | Cars.kif 3215-3219 | |
(subclass LaminatedWindshield Windshield) | Cars.kif 3213-3213 | LaminatedWindshield 是 挡风玻璃 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage LaminatedWindshield "windshield") | Cars.kif 3214-3214 |
antecedent |
(=> (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 |