(subclass Spring Device) | engineering.kif 776-776 | Spring è una sottoclasse di Dispositivo |
(subclass WireSpring Spring) | Cars.kif 723-723 | WireSpring è una sottoclasse di Spring |
(subclass LeafSpring Spring) | Cars.kif 887-887 | LeafSpring è una sottoclasse di Spring |