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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonnegativeRealNumber
NonnegativeRealNumber
, عَدَد حَقِيقِي غَيْر سَالِب, NumeroRealeNonNegativo, Numero_Real_nao-negativo, aQNaatmaka_vaastavika_anka, nombre_r�el_non_n�gatif, nonnegative, nonnegative_real_number, 非负实数

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


(documentation NonnegativeRealNumber ChineseLanguage "这是一个大于或等于零的 RealNumber。") Merge.kif 1983-1983
(documentation NonnegativeRealNumber EnglishLanguage "A RealNumber that is greater than or equal to zero.") Merge.kif 1981-1982
(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 1980-1980

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


(range AbsoluteValueFn NonnegativeRealNumber) Merge.kif 4905-4905
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 2035-2035
(subclass PositiveRealNumber NonnegativeRealNumber) Merge.kif 1991-1991
(termFormat ChineseLanguage NonnegativeRealNumber "非负实数") chinese_format.kif 863-863
(termFormat EnglishLanguage NonnegativeRealNumber "nonnegative real number") english_format.kif 550-550
(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 70-70
(termFormat PortugueseLanguage NonnegativeRealNumber "Numero Real nao-negativo") portuguese_format.kif 491-491
(termFormat ar NonnegativeRealNumber "عَدَد حَقِيقِي غَيْر سَالِب") arabic_format.kif 275-275
(termFormat cz NonnegativeRealNumber "nonnegative real number") terms-cz.txt 106-106
(termFormat tg NonnegativeRealNumber "") terms-tg.txt 73-73

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


(domain cloudCoverFraction 2 NonnegativeRealNumber) Weather.kif 483-483
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber) Economy.kif 1296-1296
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber) Economy.kif 1281-1281
(domain laborForceTotal 2 NonnegativeRealNumber) Economy.kif 1372-1372
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber) Economy.kif 1362-1362
(domain overcastDaysInPeriod 3 NonnegativeRealNumber) Weather.kif 566-566
(domain relativeHumidity 2 NonnegativeRealNumber) Weather.kif 637-637
(domain slopeGradient 2 NonnegativeRealNumber) Geography.kif 1616-1616
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1947-1947

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


(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1985-1989
(=>
    (instance ?NUMBER NonnegativeRealNumber)
    (or
        (equal
            (SignumFn ?NUMBER) 1)
        (equal
            (SignumFn ?NUMBER) 0)))
Merge.kif 5303-5307

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 4911-4922


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