Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LaminatedWindshield(windshield) |
| appearance as argument number 1 |
|
| (subclass LaminatedWindshield Windshield) | Cars.kif 3118-3118 | Windshield is a subclass of windshield |
| (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 3120-3124 | Windshield is a subclass of windshield |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LaminatedWindshield "windshield") | Cars.kif 3119-3119 |
| 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 3126-3136 | If X is an instance of windshield, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of glass (3) Z is an instance of glass (4) W is an instance of plastic (5) Y is a part of X (6) Z is a part of X (7) W is a part of X (8) W is between Y (9) Z |
|