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 1910-1911
(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 11517-11517
(externalImage NonnegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 10152-10152
(subclass NonnegativeRealNumber RealNumber) Merge.kif 1908-1908 非負実数実数subclass では %n

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


(range AbsoluteValueFn NonnegativeRealNumber) Merge.kif 4749-4749 AbsoluteValueFnrange非負実数 のインスタンス では %n
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1963-1963 非負整数非負実数subclass では %n
(subclass PositiveRealNumber NonnegativeRealNumber) Merge.kif 1919-1919 正の実数非負実数subclass では %n
(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 70-70
(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 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 871-871 cloudCoverFraction の数値 2 引数は 非負実数instance では %n
(domain incomeDistributionByGiniIndex 2 NonnegativeRealNumber) Economy.kif 1306-1306 incomeDistributionByGiniIndex の数値 2 引数は 非負実数instance では %n
(domain incomeDistributionByGiniIndexInPeriod 2 NonnegativeRealNumber) Economy.kif 1291-1291 incomeDistributionByGiniIndexInPeriod の数値 2 引数は 非負実数instance では %n
(domain laborForceTotal 2 NonnegativeRealNumber) Economy.kif 1382-1382 laborForceTotal の数値 2 引数は 非負実数instance では %n
(domain laborForceTotalInPeriod 2 NonnegativeRealNumber) Economy.kif 1372-1372 laborForceTotalInPeriod の数値 2 引数は 非負実数instance では %n
(domain overcastDaysInPeriod 3 NonnegativeRealNumber) Weather.kif 954-954 overcastDaysInPeriod の数値 3 引数は 非負実数instance では %n
(domain relativeHumidity 2 NonnegativeRealNumber) Weather.kif 1024-1024 relativeHumidity の数値 2 引数は 非負実数instance では %n
(domain slopeGradient 2 NonnegativeRealNumber) Geography.kif 1673-1673 slopeGradient の数値 2 引数は 非負実数instance では %n
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1879-1879 実数負の実数 + 非負実数exhaustively partitioned %n

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


(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1913-1917 実数非負実数instance では %n 実数 は 0 greater では %n 実数実数instance では %n
(=>
    (instance ?NUMBER NonnegativeRealNumber)
    (or
        (equal
            (SignumFn ?NUMBER) 1)
        (equal
            (SignumFn ?NUMBER) 0)))
Merge.kif 5181-5185

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 4754-4765 実数absolute value 非負実数equal では %n 実数実数instance では %n 非負実数実数instance では %n 実数非負実数instance では %n 実数 非負実数equal では %n 実数負の実数instance では %n 非負実数 は (0.0 + 実数) と equal では %n


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