(subclass PositiveRealNumber NonnegativeRealNumber) | Merge.kif 1932-1932 | PositiveRealNumber ist eine teilkategorie von NonnegativeRealNumber |
(subclass PositiveInteger PositiveRealNumber) | Merge.kif 1995-1995 | PositiveInteger ist eine teilkategorie von PositiveRealNumber |