(subclass Spring Device) | engineering.kif 776-776 | Spring は デバイス の subclass では %n |
(subclass WireSpring Spring) | Cars.kif 723-723 | WireSpring は Spring の subclass では %n |
(subclass LeafSpring Spring) | Cars.kif 887-887 | LeafSpring は Spring の subclass では %n |