![]() |
![]() ![]() ![]()
|
![]() |
|
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 | AbsoluteValueFn の range は 非負実数 のインスタンス では %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 |
![]() |
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 |
![]() |
![]() |