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 1871-1872
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ d/ dc/ Reelle_Zahlengerade_mit_Konstanten.png") pictureList.kif 11524-11524
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 10159-10159
(subclass NonnegativeRealNumber RealNumber) Merge.kif 1869-1869

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


(range AbsoluteValueFn NonnegativeRealNumber) Merge.kif 4675-4675
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1924-1924
(subclass PositiveRealNumber NonnegativeRealNumber) Merge.kif 1880-1880
(termFormat ChineseLanguage NonnegativeRealNumber "非负实数") chinese_format.kif 863-863
(termFormat EnglishLanguage NonnegativeRealNumber "nonnegative real number") english_format.kif 928-928

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


(domain cloudCoverFraction 2 NonnegativeRealNumber) Weather.kif 871-871
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber) Economy.kif 1301-1301
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber) Economy.kif 1286-1286
(domain laborForceTotal 2 NonnegativeRealNumber) Economy.kif 1377-1377
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber) Economy.kif 1367-1367
(domain overcastDaysInPeriod 3 NonnegativeRealNumber) Weather.kif 954-954
(domain relativeHumidity 2 NonnegativeRealNumber) Weather.kif 1024-1024
(domain slopeGradient 2 NonnegativeRealNumber) Geography.kif 1678-1678
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1840-1840

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


(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1874-1878
(=>
    (instance ?NUMBER NonnegativeRealNumber)
    (or
        (equal
            (SignumFn ?NUMBER) 1)
        (equal
            (SignumFn ?NUMBER) 0)))
Merge.kif 5103-5107

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 4680-4691


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