|
|
   BallBearing
|
|
|
| appearance as argument number 1 |
|
|
| (documentation BallBearing EnglishLanguage "A small Metal Sphere designed for use in applications where it is desirable to reduce friction between two parts.") | Cars.kif 1406-1407 | |
| (subclass BallBearing Device) | Cars.kif 1404-1404 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BallBearing "ball bearing") | Cars.kif 1405-1405 |
| antecedent |
|
|
| (=> (instance ?BB BallBearing) (attribute ?BB Sphere)) |
Cars.kif 1413-1415 | |
| (=> (instance ?BB BallBearing) (material Metal ?BB)) |
Cars.kif 1409-1411 |
|
|
|