AbsoluteValueFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance AbsoluteValueFn UnaryFunction)	Merge.kif 4872-4872	Absolute value is an instance of unary function
(instance AbsoluteValueFn TotalValuedRelation)	Merge.kif 4873-4873	Absolute value is an instance of total valued relation
(domain AbsoluteValueFn 1 RealNumber)	Merge.kif 4874-4874	The number 1 argument of absolute value is an instance of real number
(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4875-4875	The range of absolute value is an instance of nonnegative real number
(documentation AbsoluteValueFn EnglishLanguage "The value of (AbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER.")	Merge.kif 4877-4878	The range of absolute value is an instance of nonnegative real number
(lexicon AbsoluteValueFn LexNoun "abs")	engineering.kif 141-141	The range of absolute value is an instance of nonnegative real number
(lexicon AbsoluteValueFn LexNoun "absolute value")	engineering.kif 142-142	The range of absolute value is an instance of nonnegative real number

appearance as argument number 2

(termFormat EnglishLanguage AbsoluteValueFn "absolute value")	domainEnglishFormat.kif 5161-5161
(termFormat ChineseTraditionalLanguage AbsoluteValueFn "絕對值")	domainEnglishFormat.kif 5162-5162
(termFormat ChineseLanguage AbsoluteValueFn "绝对值")	domainEnglishFormat.kif 5163-5163
(format EnglishLanguage AbsoluteValueFn "the absolute value of %1")	english_format.kif 690-690

antecedent

(<=>
    (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)))))