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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WindSurfingBoard

Sigma KEE - NonnegativeRealNumber
NonnegativeRealNumber

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