|
|
   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 and 擋風玻璃 |
| 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 |
|
|
|