| (subclass Spring Device) | engineering.kif 776-776 | Spring e' uma sub-classe de Aparelho |
| (subclass WireSpring Spring) | Cars.kif 723-723 | WireSpring e' uma sub-classe de Spring |
| (subclass LeafSpring Spring) | Cars.kif 887-887 | LeafSpring e' uma sub-classe de Spring |
|
|