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 1831-1832
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ d/ dc/ Reelle_Zahlengerade_mit_Konstanten.png")	pictureList.kif 11535-11535
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png")	pictureList.kif 10170-10170
(subclass NonnegativeRealNumber RealNumber)	Merge.kif 1829-1829	subclass NonnegativeRealNumber and RealNumber

appearance as argument number 2

(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4532-4532	range AbsoluteValueFn and NonnegativeRealNumber
(subclass NonnegativeInteger NonnegativeRealNumber)	Merge.kif 1884-1884	subclass NonnegativeInteger and NonnegativeRealNumber
(subclass PositiveRealNumber NonnegativeRealNumber)	Merge.kif 1840-1840	subclass PositiveRealNumber and NonnegativeRealNumber
(termFormat ChineseLanguage NonnegativeRealNumber "非负实数")	chinese_format.kif 863-863
(termFormat EnglishLanguage NonnegativeRealNumber "nonnegative real number")	english_format.kif 933-933

appearance as argument number 3

(domain cloudCoverFraction 2 NonnegativeRealNumber)	Weather.kif 482-482	domain cloudCoverFraction, 2 and NonnegativeRealNumber
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber)	Economy.kif 1296-1296	domain incomeDistributionByGiniIndex, 2 and NonnegativeRealNumber
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber)	Economy.kif 1281-1281	domain incomeDistributionByGiniIndexInPeriod, 2 and NonnegativeRealNumber
(domain laborForceTotal 2 NonnegativeRealNumber)	Economy.kif 1372-1372	domain laborForceTotal, 2 and NonnegativeRealNumber
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber)	Economy.kif 1362-1362	domain laborForceTotalInPeriod, 2 and NonnegativeRealNumber
(domain overcastDaysInPeriod 3 NonnegativeRealNumber)	Weather.kif 565-565	domain overcastDaysInPeriod, 3 and NonnegativeRealNumber
(domain relativeHumidity 2 NonnegativeRealNumber)	Weather.kif 636-636	domain relativeHumidity, 2 and NonnegativeRealNumber
(domain slopeGradient 2 NonnegativeRealNumber)	Geography.kif 1628-1628	domain slopeGradient, 2 and NonnegativeRealNumber
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)	Merge.kif 1800-1800	partition RealNumber, NegativeRealNumber and NonnegativeRealNumber

antecedent

(<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1834-1838	instance Quantity and NonnegativeRealNumber greaterThanOrEqualTo Quantity and 0 instance Quantity and RealNumber
(=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0)))	Merge.kif 4903-4907	instance RealNumber and NonnegativeRealNumber equal SignumFn RealNumber and 1 equal SignumFn 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 ?NUMBER1)))))

Merge.kif 4537-4548