Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonnegativeRealNumber
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 1831-1832
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ d/ dc/ Reelle_Zahlengerade_mit_Konstanten.png") pictureList.kif 11535-11535
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 10170-10170
(subclass NonnegativeRealNumber RealNumber) Merge.kif 1829-1829 subclass NonnegativeRealNumber and RealNumber

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


(range AbsoluteValueFn NonnegativeRealNumber) Merge.kif 4532-4532 range AbsoluteValueFn and NonnegativeRealNumber
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1884-1884 subclass NonnegativeInteger and NonnegativeRealNumber
(subclass PositiveRealNumber NonnegativeRealNumber) Merge.kif 1840-1840 subclass PositiveRealNumber and NonnegativeRealNumber
(termFormat ChineseLanguage NonnegativeRealNumber "非负实数") chinese_format.kif 863-863
(termFormat EnglishLanguage NonnegativeRealNumber "nonnegative real number") english_format.kif 933-933

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


(domain cloudCoverFraction 2 NonnegativeRealNumber) Weather.kif 482-482 domain cloudCoverFraction, 2 and NonnegativeRealNumber
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber) Economy.kif 1296-1296 domain incomeDistributionByGiniIndex, 2 and NonnegativeRealNumber
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber) Economy.kif 1281-1281 domain incomeDistributionByGiniIndexInPeriod, 2 and NonnegativeRealNumber
(domain laborForceTotal 2 NonnegativeRealNumber) Economy.kif 1372-1372 domain laborForceTotal, 2 and NonnegativeRealNumber
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber) Economy.kif 1362-1362 domain laborForceTotalInPeriod, 2 and NonnegativeRealNumber
(domain overcastDaysInPeriod 3 NonnegativeRealNumber) Weather.kif 565-565 domain overcastDaysInPeriod, 3 and NonnegativeRealNumber
(domain relativeHumidity 2 NonnegativeRealNumber) Weather.kif 636-636 domain relativeHumidity, 2 and NonnegativeRealNumber
(domain slopeGradient 2 NonnegativeRealNumber) Geography.kif 1628-1628 domain slopeGradient, 2 and NonnegativeRealNumber
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1800-1800 partition RealNumber, NegativeRealNumber and NonnegativeRealNumber

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


(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1834-1838 instance Quantity and NonnegativeRealNumber greaterThanOrEqualTo Quantity and 0 instance Quantity and RealNumber
(=>
    (instance ?NUMBER NonnegativeRealNumber)
    (or
        (equal
            (SignumFn ?NUMBER) 1)
        (equal
            (SignumFn ?NUMBER) 0)))
Merge.kif 4903-4907

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 ?NUMBER1)))))
Merge.kif 4537-4548 equal AbsoluteValueFn RealNumber and NonnegativeRealNumber instance RealNumber and RealNumber instance NonnegativeRealNumber and RealNumber instance RealNumber and NonnegativeRealNumber equal RealNumber and NonnegativeRealNumber instance RealNumber and NegativeRealNumber equal NonnegativeRealNumber and SubtractionFn 0 and RealNumber


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners