| NonnegativeRealNumber(非负实数)
| |
| appearance as argument number 1 |
|
|
| (documentation NonnegativeRealNumber ChineseLanguage "这是一个大于或等于零的 RealNumber。") | chinese_format.kif 1745-1745 | |
| (documentation NonnegativeRealNumber EnglishLanguage "A RealNumber that is greater than or equal to zero.") | Merge.kif 1917-1918 | |
| (documentation NonnegativeRealNumber JapaneseLanguage "ゼロ 以上の RealNumber 。") | japanese_format.kif 353-353 | |
| (externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ d/ dc/ Reelle_Zahlengerade_mit_Konstanten.png") | pictureList.kif 11501-11501 | |
| (externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") | pictureList.kif 10147-10147 | |
| (subclass NonnegativeRealNumber RealNumber) | Merge.kif 1915-1915 | 非负实数 是 实数 的 subclass |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain cloudCoverFraction 2 NonnegativeRealNumber) | Weather.kif 855-855 | 云覆盖部分 的 2 数量 是 非负实数 的 instance |
| (domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber) | Economy.kif 1397-1397 | 按基尼指数的收入分配 的 2 数量 是 非负实数 的 instance |
| (domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber) | Economy.kif 1382-1382 | 按基尼系数的收入分配 的 2 数量 是 非负实数 的 instance |
| (domain laborForceTotal 2 NonnegativeRealNumber) | Economy.kif 1457-1457 | 劳动力总数 的 2 数量 是 非负实数 的 instance |
| (domain laborForceTotalInPeriod 2 NonnegativeRealNumber) | Economy.kif 1447-1447 | 期间劳动力总数 的 2 数量 是 非负实数 的 instance |
| (domain overcastDaysInPeriod 3 NonnegativeRealNumber) | Weather.kif 938-938 | 期间阴天 的 3 数量 是 非负实数 的 instance |
| (domain relativeHumidity 2 NonnegativeRealNumber) | Weather.kif 1008-1008 | 相对湿度 的 2 数量 是 非负实数 的 instance |
| (domain slopeGradient 2 NonnegativeRealNumber) | Geography.kif 1663-1663 | 坡度 的 2 数量 是 非负实数 的 instance |
| (partition RealNumber NegativeRealNumber NonnegativeRealNumber) | Merge.kif 1886-1886 | 实数 详尽无遗地 partition 成 负实数 和 非负实数 |
| antecedent |
|
|
| (<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1920-1924 | 实数 是 非负实数 的 instance 若且唯若 那个 实数 是 greaterThanOrEqualTo 0 和 那个 实数 是 实数 的 instance |
| (=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0))) |
Merge.kif 5189-5193 |
| consequent |
|
|
| (<=> (and (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber)) (or (and (instance ?NUMBER1 NonnegativeRealNumber) (equal ?NUMBER1 ?NUMBER2)) (and (instance ?NUMBER1 NegativeRealNumber) (equal ?NUMBER2 (SubtractionFn 0.0 ?NUMBER1))))) |
Merge.kif 4762-4773 | 实数 的绝对值 equal 非负实数 和 那个 实数 是 实数 的 instance 和 那个 非负实数 是 实数 的 instance 若且唯若 那个 实数 是 非负实数 的 instance 和 那个 实数 equal 那个 非负实数 或 那个 实数 是 负实数 的 instance 和 那个 非负实数 equal (0.0 和 那个 实数) |
|
|
|