(subclass Spring Device) | engineering.kif 776-776 | Spring ist eine teilkategorie von Device |
(subclass WireSpring Spring) | Cars.kif 723-723 | WireSpring ist eine teilkategorie von Spring |
(subclass LeafSpring Spring) | Cars.kif 887-887 | LeafSpring ist eine teilkategorie von Spring |