| BevelGear | |
| appearance as argument number 1 |
|
|
| (documentation BevelGear EnglishLanguage "A Gear that is shaped as a segment of a Cone, which allows axles connected to a pair of gears not to be parallel.") | Cars.kif 1419-1420 | |
| (subclass BevelGear Gear) | Cars.kif 1417-1417 | BevelGear は Gear の subclass では |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BevelGear "bevel gear") | Cars.kif 1418-1418 |
| antecedent |
|
|
| (=> (instance ?BV BevelGear) (attribute ?BV ConeSegment)) |
Cars.kif 1422-1424 |
|
|
|