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 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	NumeroRealeNonNegativo è una sottoclasse di NumeroReale

appearance as argument number 2

(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4763-4763	rango di AbsoluteValueFn è un'istanza di NumeroRealeNonNegativo
(subclass NonnegativeInteger NonnegativeRealNumber)	Merge.kif 1976-1976	NumeroInteroNonNegativo è una sottoclasse di NumeroRealeNonNegativo
(subclass PositiveRealNumber NonnegativeRealNumber)	Merge.kif 1932-1932	NumeroRealePositivo è una sottoclasse di NumeroRealeNonNegativo
(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	Il numero 2 argomenti di cloudCoverFraction è un istanza di NumeroRealeNonNegativo
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber)	Economy.kif 1306-1306	Il numero 2 argomenti di incomeDistributionByGiniIndex è un istanza di NumeroRealeNonNegativo
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber)	Economy.kif 1291-1291	Il numero 2 argomenti di incomeDistributionByGiniIndexInPeriod è un istanza di NumeroRealeNonNegativo
(domain laborForceTotal 2 NonnegativeRealNumber)	Economy.kif 1366-1366	Il numero 2 argomenti di laborForceTotal è un istanza di NumeroRealeNonNegativo
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber)	Economy.kif 1356-1356	Il numero 2 argomenti di laborForceTotalInPeriod è un istanza di NumeroRealeNonNegativo
(domain overcastDaysInPeriod 3 NonnegativeRealNumber)	Weather.kif 954-954	Il numero 3 argomenti di overcastDaysInPeriod è un istanza di NumeroRealeNonNegativo
(domain relativeHumidity 2 NonnegativeRealNumber)	Weather.kif 1024-1024	Il numero 2 argomenti di relativeHumidity è un istanza di NumeroRealeNonNegativo
(domain slopeGradient 2 NonnegativeRealNumber)	Geography.kif 1675-1675	Il numero 2 argomenti di slopeGradient è un istanza di NumeroRealeNonNegativo
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)	Merge.kif 1892-1892	NumeroReale è esaustivamente partizionato in NumeroRealeNegativo + NumeroRealeNonNegativo

antecedent

(<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1926-1930	NumeroReale è un' istanza di NumeroRealeNonNegativo NumeroReale è più grande di o uguale a 0 NumeroReale è un' istanza di NumeroReale
(=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0)))	Merge.kif 5195-5199	NumeroReale è un' istanza di NumeroRealeNonNegativo il segno di NumeroReale is uguale a 1 il segno di NumeroReale is uguale a 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