NonnegativeRealNumber - Sigma Knowledge base Browser

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 1923-1924
(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 11508-11508
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png")	pictureList.kif 10149-10149
(subclass NonnegativeRealNumber RealNumber)	Merge.kif 1921-1921	子類 NonnegativeRealNumber and RealNumber

appearance as argument number 2

(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4763-4763	範圍絕對值 and NonnegativeRealNumber
(subclass NonnegativeInteger NonnegativeRealNumber)	Merge.kif 1976-1976	子類 NonnegativeInteger and NonnegativeRealNumber
(subclass PositiveRealNumber NonnegativeRealNumber)	Merge.kif 1932-1932	子類 PositiveRealNumber and NonnegativeRealNumber
(termFormat ChineseLanguage NonnegativeRealNumber "非负实数")	chinese_format.kif 863-863
(termFormat EnglishLanguage NonnegativeRealNumber "nonnegative real number")	english_format.kif 928-928
(termFormat FrenchLanguage NonnegativeRealNumber "nombre r�el non n�gatif")	french_format.kif 539-539
(termFormat Hindi NonnegativeRealNumber "aQNaatmaka vaastavika anka")	terms-hindi.txt 69-69
(termFormat ItalianLanguage NonnegativeRealNumber "NumeroRealeNonNegativo")	terms-it.txt 72-72
(termFormat JapaneseLanguage NonnegativeRealNumber "非負実数")	japanese_format.kif 2224-2224
(termFormat PortugueseLanguage NonnegativeRealNumber "Numero Real nao-negativo")	portuguese_format.kif 491-491
(termFormat cz NonnegativeRealNumber "nonnegative real number")	terms-cz.txt 106-106
(termFormat ro NonnegativeRealNumber "numãr real nenegativ")	relations-ro.kif 560-560
(termFormat tg NonnegativeRealNumber "")	terms-tg.txt 73-73

appearance as argument number 3

(domain cloudCoverFraction 2 NonnegativeRealNumber)	Weather.kif 871-871	域雲覆蓋部分, 2 and NonnegativeRealNumber
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber)	Economy.kif 1306-1306	域按基尼指數的收入分配, 2 and NonnegativeRealNumber
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber)	Economy.kif 1291-1291	域按基尼係數的收入分配, 2 and NonnegativeRealNumber
(domain laborForceTotal 2 NonnegativeRealNumber)	Economy.kif 1366-1366	域勞動力總數, 2 and NonnegativeRealNumber
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber)	Economy.kif 1356-1356	域期間勞動力總數, 2 and NonnegativeRealNumber
(domain overcastDaysInPeriod 3 NonnegativeRealNumber)	Weather.kif 954-954	域期間陰天, 3 and NonnegativeRealNumber
(domain relativeHumidity 2 NonnegativeRealNumber)	Weather.kif 1024-1024	域相對濕度, 2 and NonnegativeRealNumber
(domain slopeGradient 2 NonnegativeRealNumber)	Geography.kif 1675-1675	域坡度, 2 and NonnegativeRealNumber
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)	Merge.kif 1892-1892	劃分 RealNumber, NegativeRealNumber and NonnegativeRealNumber

antecedent

(<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1926-1930	例 RealNumber and NonnegativeRealNumber 大於或等於 RealNumber and 0 例 RealNumber and RealNumber
(=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0)))	Merge.kif 5195-5199	例 RealNumber and NonnegativeRealNumber 等於正負號 RealNumber and 1 等於正負號 RealNumber and 0

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 4768-4779