ItsFellowOfOppositeSide
|
|
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 |
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 |