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	Numero Real nao-negativo e' uma sub-classe de Numero Real

appearance as argument number 2

(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4763-4763	O contra-dominio de AbsoluteValueFn e' uma instancia de Numero Real nao-negativo
(subclass NonnegativeInteger NonnegativeRealNumber)	Merge.kif 1976-1976	Numero Inteiro nao-negativo e' uma sub-classe de Numero Real nao-negativo
(subclass PositiveRealNumber NonnegativeRealNumber)	Merge.kif 1932-1932	Numero Real positivo e' uma sub-classe de Numero Real nao-negativo
(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	O argumento numero 2 de cloudCoverFraction e' uma instancia de Numero Real nao-negativo
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber)	Economy.kif 1306-1306	O argumento numero 2 de incomeDistributionByGiniIndex e' uma instancia de Numero Real nao-negativo
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber)	Economy.kif 1291-1291	O argumento numero 2 de incomeDistributionByGiniIndexInPeriod e' uma instancia de Numero Real nao-negativo
(domain laborForceTotal 2 NonnegativeRealNumber)	Economy.kif 1366-1366	O argumento numero 2 de laborForceTotal e' uma instancia de Numero Real nao-negativo
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber)	Economy.kif 1356-1356	O argumento numero 2 de laborForceTotalInPeriod e' uma instancia de Numero Real nao-negativo
(domain overcastDaysInPeriod 3 NonnegativeRealNumber)	Weather.kif 954-954	O argumento numero 3 de overcastDaysInPeriod e' uma instancia de Numero Real nao-negativo
(domain relativeHumidity 2 NonnegativeRealNumber)	Weather.kif 1024-1024	O argumento numero 2 de relativeHumidity e' uma instancia de Numero Real nao-negativo
(domain slopeGradient 2 NonnegativeRealNumber)	Geography.kif 1675-1675	O argumento numero 2 de slopeGradient e' uma instancia de Numero Real nao-negativo
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)	Merge.kif 1892-1892	O conceito Numero Real e' completamente decomposto em Numero Real negativo + Numero Real nao-negativo

antecedent

(<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1926-1930	Numero Real e' uma instancia de Numero Real nao-negativo Numero Real e' maior ou igual a 0 Numero Real e' uma instancia de Numero Real
(=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0)))	Merge.kif 5195-5199	Numero Real e' uma instancia de Numero Real nao-negativo o sinal de Numero Real e' igual a 1 o sinal de Numero Real e' igual 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

O valor absoluto de Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real Numero Real nao-negativo e' uma instancia de Numero Real Numero Real e' uma instancia de Numero Real nao-negativo Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real negativo Numero Real nao-negativo e' igual a (0.0 + Numero Real)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: