NonnegativeRealNumber - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NonnegativeRealNumber ChineseLanguage "这是一个大于或等于零的 RealNumber。")	Merge.kif 1996-1996
(documentation NonnegativeRealNumber EnglishLanguage "A RealNumber that is greater than or equal to zero.")	Merge.kif 1994-1995
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ d/ dc/ Reelle_Zahlengerade_mit_Konstanten.png")	pictureList.kif 11535-11535	externalImage 非負実数 and "http://upload.wikimedia.org/wikipedia/commons/d/dc/ Reelle_Zahlengerade_mit_Konstanten.png"
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png")	pictureList.kif 10170-10170	externalImage 非負実数 and "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Recta_real_entero_o_decimal_exacto.png"
(subclass NonnegativeRealNumber RealNumber)	Merge.kif 1993-1993	subclass 非負実数 and 実数

appearance as argument number 2

(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4918-4918	range AbsoluteValueFn and 非負実数
(subclass NonnegativeInteger NonnegativeRealNumber)	Merge.kif 2048-2048	subclass 非負整数 and 非負実数
(subclass PositiveRealNumber NonnegativeRealNumber)	Merge.kif 2004-2004	subclass 正の実数 and 非負実数
(termFormat ChineseLanguage NonnegativeRealNumber "非负实数")	chinese_format.kif 863-863	termFormat ChineseLanguage, 非負実数 and "非负实数"
(termFormat EnglishLanguage NonnegativeRealNumber "nonnegative real number")	english_format.kif 650-650	termFormat EnglishLanguage, 非負実数 and "nonnegative real number"
(termFormat JapaneseLanguage NonnegativeRealNumber "非負実数")	english_format.kif 651-651	termFormat JapaneseLanguage, 非負実数 and "非負実数"

appearance as argument number 3

(domain cloudCoverFraction 2 NonnegativeRealNumber)	Weather.kif 483-483	domain cloudCoverFraction, 2 and 非負実数
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber)	Economy.kif 1296-1296	domain incomeDistributionByGiniIndex, 2 and 非負実数
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber)	Economy.kif 1281-1281	domain incomeDistributionByGiniIndexInPeriod, 2 and 非負実数
(domain laborForceTotal 2 NonnegativeRealNumber)	Economy.kif 1372-1372	domain laborForceTotal, 2 and 非負実数
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber)	Economy.kif 1362-1362	domain laborForceTotalInPeriod, 2 and 非負実数
(domain overcastDaysInPeriod 3 NonnegativeRealNumber)	Weather.kif 566-566	domain overcastDaysInPeriod, 3 and 非負実数
(domain relativeHumidity 2 NonnegativeRealNumber)	Weather.kif 637-637	domain relativeHumidity, 2 and 非負実数
(domain slopeGradient 2 NonnegativeRealNumber)	Geography.kif 1616-1616	domain slopeGradient, 2 and 非負実数
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)	Merge.kif 1960-1960	partition 実数, 負の実数 and 非負実数

antecedent

(<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1998-2002	instance 量 and 非負実数 greaterThanOrEqualTo 量 and 0 instance 量 and 実数
(=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0)))	Merge.kif 5316-5320	instance 実数 and 非負実数 equal SignumFn 実数 and 1 equal SignumFn 実数 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 ?NUMBER1)))))

Merge.kif 4924-4935