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	NonnegativeRealNumber ist eine teilkategorie von RealNumber

appearance as argument number 2

(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4763-4763	bildbereich von AbsoluteValueFn ist ein fall von NonnegativeRealNumber {nicht}
(subclass NonnegativeInteger NonnegativeRealNumber)	Merge.kif 1976-1976	NonnegativeInteger ist eine teilkategorie von NonnegativeRealNumber
(subclass PositiveRealNumber NonnegativeRealNumber)	Merge.kif 1932-1932	PositiveRealNumber ist eine teilkategorie von NonnegativeRealNumber
(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	Die Zahl 2 Argument von cloudCoverFraction ist ein fall von NonnegativeRealNumber %n{nicht}
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber)	Economy.kif 1306-1306	Die Zahl 2 Argument von incomeDistributionByGiniIndex ist ein fall von NonnegativeRealNumber %n{nicht}
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber)	Economy.kif 1291-1291	Die Zahl 2 Argument von incomeDistributionByGiniIndexInPeriod ist ein fall von NonnegativeRealNumber %n{nicht}
(domain laborForceTotal 2 NonnegativeRealNumber)	Economy.kif 1366-1366	Die Zahl 2 Argument von laborForceTotal ist ein fall von NonnegativeRealNumber %n{nicht}
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber)	Economy.kif 1356-1356	Die Zahl 2 Argument von laborForceTotalInPeriod ist ein fall von NonnegativeRealNumber %n{nicht}
(domain overcastDaysInPeriod 3 NonnegativeRealNumber)	Weather.kif 954-954	Die Zahl 3 Argument von overcastDaysInPeriod ist ein fall von NonnegativeRealNumber %n{nicht}
(domain relativeHumidity 2 NonnegativeRealNumber)	Weather.kif 1024-1024	Die Zahl 2 Argument von relativeHumidity ist ein fall von NonnegativeRealNumber %n{nicht}
(domain slopeGradient 2 NonnegativeRealNumber)	Geography.kif 1675-1675	Die Zahl 2 Argument von slopeGradient ist ein fall von NonnegativeRealNumber %n{nicht}
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)	Merge.kif 1892-1892	RealNumber wird vollstaendig in NegativeRealNumber und NonnegativeRealNumber verteilt

antecedent

(<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1926-1930	RealNumber ist ein fall von NonnegativeRealNumber %n{nicht} genau dann wenn RealNumber ist groesserAlsOderGleich 0 %n{nicht} und RealNumber ist ein fall von RealNumber %n{nicht}
(=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0)))	Merge.kif 5195-5199	Wenn RealNumber ist ein fall von NonnegativeRealNumber %n{nicht}, dann das zeichen von RealNumber ist gleich 1 %n{nicht} oder das zeichen von RealNumber ist gleich 0 %n{nicht}

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

Der absolutebetrag von RealNumber ist gleich NonnegativeRealNumber %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht} und ** NonnegativeRealNumber ist ein fall von RealNumber %n{nicht} genau dann wenn ** RealNumber ist ein fall von NonnegativeRealNumber %n{nicht} und ** RealNumber ist gleich ** NonnegativeRealNumber %n{nicht} oder ** RealNumber ist ein fall von NegativeRealNumber %n{nicht} und ** NonnegativeRealNumber ist gleich (0.0 und ** RealNumber) %n{nicht}

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

Show without tree

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: