(subclass NonnegativeRealNumber RealNumber) | Merge.kif 1921-1921 | 子類 NonnegativeRealNumber and RealNumber |
(subclass PositiveRealNumber NonnegativeRealNumber) | Merge.kif 1932-1932 | 子類 PositiveRealNumber and NonnegativeRealNumber |
(subclass NonnegativeInteger NonnegativeRealNumber) | Merge.kif 1976-1976 | 子類 NonnegativeInteger and NonnegativeRealNumber |