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 |