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

Formal Language: 


KB Term:  Term intersection
English Word: 

  NonnegativeRealNumber

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 1934-1935
(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 11501-11501
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 10147-10147
(subclass NonnegativeRealNumber RealNumber) Merge.kif 1932-1932

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


(range AbsoluteValueFn NonnegativeRealNumber) Merge.kif 4791-4791
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1987-1987
(subclass PositiveRealNumber NonnegativeRealNumber) Merge.kif 1943-1943
(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 de NonnegativeRealNumber "nichtnegative reelle Zahl") terms-de.txt 365-365
(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 1106-1106
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber) Economy.kif 1397-1397
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber) Economy.kif 1382-1382
(domain laborForceTotal 2 NonnegativeRealNumber) Economy.kif 1457-1457
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber) Economy.kif 1447-1447
(domain overcastDaysInPeriod 3 NonnegativeRealNumber) Weather.kif 1189-1189
(domain relativeHumidity 2 NonnegativeRealNumber) Weather.kif 1259-1259
(domain slopeGradient 2 NonnegativeRealNumber) Geography.kif 1971-1971
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1903-1903

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


(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1937-1941
(=>
    (instance ?NUMBER NonnegativeRealNumber)
    (or
        (equal
            (SignumFn ?NUMBER) 1)
        (equal
            (SignumFn ?NUMBER) 0)))
Merge.kif 5223-5227

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 4796-4807


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