| (subclass RealNumber Number) | Merge.kif 1891-1891 | Nombre r�el est une sous-classe de nombre |
| (subclass RationalNumber RealNumber) | Merge.kif 1911-1911 | Nombre rationnel est une sous-classe de nombre r�el |
| (subclass IrrationalNumber RealNumber) | Merge.kif 1916-1916 | Nombre irrationnel est une sous-classe de nombre r�el |
| (subclass NonnegativeRealNumber RealNumber) | Merge.kif 1921-1921 | Nombre r�el non n�gatif est une sous-classe de nombre r�el |
| (subclass NegativeRealNumber RealNumber) | Merge.kif 1943-1943 | Nombre r�el n�gatif est une sous-classe de nombre r�el |
| (subclass BinaryNumber RealNumber) | Merge.kif 2003-2003 | Nombre binaire est une sous-classe de nombre r�el |
|
|