(subclass RealNumber Number) | Merge.kif 1891-1891 | 実数 は 数 の subclass では %n |
(subclass RationalNumber RealNumber) | Merge.kif 1911-1911 | 有理数 は 実数 の subclass では %n |
(subclass IrrationalNumber RealNumber) | Merge.kif 1916-1916 | 無理数 は 実数 の subclass では %n |
(subclass NonnegativeRealNumber RealNumber) | Merge.kif 1921-1921 | 非負実数 は 実数 の subclass では %n |
(subclass NegativeRealNumber RealNumber) | Merge.kif 1943-1943 | 負の実数 は 実数 の subclass では %n |
(subclass BinaryNumber RealNumber) | Merge.kif 2003-2003 | 2進数 は 実数 の subclass では %n |