Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - NonnegativeRealNumber
NonnegativeRealNumber(nonnegative real number)
nonnegative

appearance as argument number 1
-------------------------


(subclass NonnegativeRealNumber RealNumber) Merge.kif 2025-2025 Nonnegative real number is a subclass of real number
(documentation NonnegativeRealNumber EnglishLanguage "A RealNumber that is greater than or equal to zero.") Merge.kif 2027-2028 Nonnegative real number is a subclass of real number
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 10147-10147 Nonnegative real number is a subclass of real number
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ d/ dc/ Reelle_Zahlengerade_mit_Konstanten.png") pictureList.kif 11501-11501 Nonnegative real number is a subclass of real number

appearance as argument number 2
-------------------------


(subclass PositiveRealNumber NonnegativeRealNumber) Merge.kif 2036-2036 Positive real number is a subclass of nonnegative real number
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 2080-2080 Nonnegative integer is a subclass of nonnegative real number
(range AbsoluteValueFn NonnegativeRealNumber) Merge.kif 4875-4875 The range of absolute value is an instance of nonnegative real number
(termFormat EnglishLanguage NonnegativeRealNumber "nonnegative real number") english_format.kif 932-932 The range of absolute value is an instance of nonnegative real number

appearance as argument number 3
-------------------------


(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1996-1996 Real number is exhaustively partitioned into negative real number and nonnegative real number
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber) Economy.kif 1380-1380 The number 2 argument of income distribution by gini index in period is an instance of nonnegative real number
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber) Economy.kif 1395-1395 The number 2 argument of income distribution by gini index is an instance of nonnegative real number
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber) Economy.kif 1445-1445 The number 2 argument of labor force total in period is an instance of nonnegative real number
(domain laborForceTotal 2 NonnegativeRealNumber) Economy.kif 1455-1455 The number 2 argument of labor force total is an instance of nonnegative real number
(domain slopeGradient 2 NonnegativeRealNumber) Geography.kif 3126-3126 The number 2 argument of slope gradient is an instance of nonnegative real number
(domain cloudCoverFraction 2 NonnegativeRealNumber) Weather.kif 1548-1548 The number 2 argument of cloud cover fraction is an instance of nonnegative real number
(domain overcastDaysInPeriod 3 NonnegativeRealNumber) Weather.kif 1631-1631 The number 3 argument of overcast days in period is an instance of nonnegative real number
(domain relativeHumidity 2 NonnegativeRealNumber) Weather.kif 1701-1701 The number 2 argument of relative humidity is an instance of nonnegative real number

antecedent
-------------------------


(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 2030-2034 X is an instance of nonnegative real number if, only if X is greater than or equal to 0, and X is an instance of real number
(=>
    (instance ?NUMBER NonnegativeRealNumber)
    (or
        (equal
            (SignumFn ?NUMBER) 1)
        (equal
            (SignumFn ?NUMBER) 0)))		 Merge.kif 5307-5311 If X is an instance of nonnegative real number, then equal the sign of X and 1 or equal the sign of X 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 4880-4891 equal the absolute value of X and Y and X is an instance of real number and Y is an instance of real number if and only if X is an instance of nonnegative real number and equal X and Y or X is an instance of negative real number and equal Y and (0.0 and X)


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners