(subclass Spring Device) | engineering.kif 776-776 | Spring est une sous-classe de appareil |
(subclass WireSpring Spring) | Cars.kif 723-723 | WireSpring est une sous-classe de Spring |
(subclass LeafSpring Spring) | Cars.kif 887-887 | LeafSpring est une sous-classe de Spring |