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 1945-1946 | |
(documentation NegativeRealNumber JapaneseLanguage "ゼロ未満の RealNumber 。") | japanese_format.kif 355-355 | |
(externalImage NegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ Number-line.gif") | pictureList.kif 10145-10145 | |
(subclass NegativeRealNumber RealNumber) | Merge.kif 1943-1943 | Numero Real negativo e' uma sub-classe de Numero Real |
appearance as argument number 2 |
antecedent |
(<=> (instance ?NUMBER NegativeRealNumber) (and (lessThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1948-1952 | Numero Real e' uma instancia de Numero Real negativo Numero Real e' menos que 0 Numero Real e' uma instancia de Numero Real |
(=> (instance ?NUMBER NegativeRealNumber) (equal (SignumFn ?NUMBER) -1)) |
Merge.kif 5206-5208 |
|
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 4769-4780 | O valor absoluto de Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real Numero Real nao-negativo e' uma instancia de Numero Real Numero Real e' uma instancia de Numero Real nao-negativo Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real negativo Numero Real nao-negativo e' igual a (0.0 + Numero Real) |