TreeView Knowledge Base Browser - 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	子類 NegativeRealNumber and RealNumber

appearance as argument number 2

(partition RealNumber NegativeRealNumber NonnegativeRealNumber)	Merge.kif 1892-1892	劃分 RealNumber, NegativeRealNumber and NonnegativeRealNumber
(subclass NegativeInteger NegativeRealNumber)	Merge.kif 1986-1986	子類 NegativeInteger and NegativeRealNumber
(termFormat ChineseLanguage NegativeRealNumber "负实数")	chinese_format.kif 865-865
(termFormat EnglishLanguage NegativeRealNumber "negative real number")	english_format.kif 932-932
(termFormat FrenchLanguage NegativeRealNumber "nombre r�el n�gatif")	french_format.kif 541-541
(termFormat Hindi NegativeRealNumber "Qnaatmaka vaastavika anka")	terms-hindi.txt 71-71
(termFormat ItalianLanguage NegativeRealNumber "NumeroRealeNegativo")	terms-it.txt 74-74
(termFormat JapaneseLanguage NegativeRealNumber "負の実数")	japanese_format.kif 2226-2226
(termFormat PortugueseLanguage NegativeRealNumber "Numero Real negativo")	portuguese_format.kif 493-493
(termFormat cz NegativeRealNumber "negative real number")	terms-cz.txt 108-108
(termFormat ro NegativeRealNumber "numãr real negativ")	relations-ro.kif 562-562
(termFormat tg NegativeRealNumber "Negatibong tunay na numero")	terms-tg.txt 75-75

antecedent

(<=> (instance ?NUMBER NegativeRealNumber) (and (lessThan ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1948-1952	例 RealNumber and NegativeRealNumber 少於 RealNumber and 0 例 RealNumber and RealNumber
(=> (instance ?NUMBER NegativeRealNumber) (equal (SignumFn ?NUMBER) -1))	Merge.kif 5206-5208	例 RealNumber and NegativeRealNumber 等於正負號 RealNumber and -1

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