| (subclass SpeedScaleAttribute RelationalAttribute) | Weather.kif 2054-2054 | SpeedScaleAttribute は 関係属性 の subclass では %n |
| (subclass BeaufortNumberAttribute SpeedScaleAttribute) | Weather.kif 335-335 | BeaufortNumberAttribute は SpeedScaleAttribute の subclass では %n |
| (subclass EFScaleAttribute SpeedScaleAttribute) | Weather.kif 2088-2088 | EFScaleAttribute は SpeedScaleAttribute の subclass では %n |
| (subclass SSHWSAttribute SpeedScaleAttribute) | Weather.kif 2357-2357 | SSHWSAttribute は SpeedScaleAttribute の subclass では %n |
|
|