TreeView Knowledge Base Browser - 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 1863-1864
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ d/ dc/ Reelle_Zahlengerade_mit_Konstanten.png")	pictureList.kif 11524-11524
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png")	pictureList.kif 10159-10159
(subclass NonnegativeRealNumber RealNumber)	Merge.kif 1861-1861	subclass NonnegativeRealNumber and RealNumber

appearance as argument number 2

(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4667-4667	range AbsoluteValueFn and NonnegativeRealNumber
(subclass NonnegativeInteger NonnegativeRealNumber)	Merge.kif 1916-1916	subclass NonnegativeInteger and NonnegativeRealNumber
(subclass PositiveRealNumber NonnegativeRealNumber)	Merge.kif 1872-1872	subclass PositiveRealNumber and NonnegativeRealNumber
(termFormat ChineseLanguage NonnegativeRealNumber "非负实数")	chinese_format.kif 863-863
(termFormat EnglishLanguage NonnegativeRealNumber "nonnegative real number")	english_format.kif 928-928

appearance as argument number 3

(domain cloudCoverFraction 2 NonnegativeRealNumber)	Weather.kif 871-871	domain cloudCoverFraction, 2 and NonnegativeRealNumber
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber)	Economy.kif 1301-1301	domain incomeDistributionByGiniIndex, 2 and NonnegativeRealNumber
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber)	Economy.kif 1286-1286	domain incomeDistributionByGiniIndexInPeriod, 2 and NonnegativeRealNumber
(domain laborForceTotal 2 NonnegativeRealNumber)	Economy.kif 1377-1377	domain laborForceTotal, 2 and NonnegativeRealNumber
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber)	Economy.kif 1367-1367	domain laborForceTotalInPeriod, 2 and NonnegativeRealNumber
(domain overcastDaysInPeriod 3 NonnegativeRealNumber)	Weather.kif 954-954	domain overcastDaysInPeriod, 3 and NonnegativeRealNumber
(domain relativeHumidity 2 NonnegativeRealNumber)	Weather.kif 1024-1024	domain relativeHumidity, 2 and NonnegativeRealNumber
(domain slopeGradient 2 NonnegativeRealNumber)	Geography.kif 1678-1678	domain slopeGradient, 2 and NonnegativeRealNumber
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)	Merge.kif 1832-1832	partition RealNumber, NegativeRealNumber and NonnegativeRealNumber

antecedent

(<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1866-1870	instance RealNumber and NonnegativeRealNumber greaterThanOrEqualTo RealNumber and 0 instance RealNumber and RealNumber
(=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0)))	Merge.kif 5095-5099	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.0 ?NUMBER1)))))

Merge.kif 4672-4683