| NegativeRealNumber(負の実数)
| |
| appearance as argument number 1 |
|
|
| (documentation NegativeRealNumber ChineseLanguage "这是一个小于零的 RealNumber。") | chinese_format.kif 1747-1747 | |
| (documentation NegativeRealNumber EnglishLanguage "A RealNumber that is less than zero.") | Merge.kif 1941-1942 | |
| (documentation NegativeRealNumber JapaneseLanguage "ゼロ未満の RealNumber 。") | japanese_format.kif 355-355 | |
| (externalImage NegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ Number_line.gif") | pictureList.kif 10143-10143 | |
| (subclass NegativeRealNumber RealNumber) | Merge.kif 1939-1939 | 負の実数 は 実数 の subclass では |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (instance ?NUMBER NegativeRealNumber) (and (lessThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1944-1948 | 実数 は 負の実数 の instance では 実数 は 0 より less では 実数 は 実数 の instance では |
| (=> (instance ?NUMBER NegativeRealNumber) (equal (SignumFn ?NUMBER) -1)) |
Merge.kif 5218-5220 |
| 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 4781-4792 | 実数 の absolute value は 非負実数 と equal では 実数 は 実数 の instance では 非負実数 は 実数 の instance では 実数 は 非負実数 の instance では 実数 は 非負実数 と equal では 実数 は 負の実数 の instance では 非負実数 は (0.0 + 実数) と equal では |
|
|
|