AbsoluteValueFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AbsoluteValueFn ChineseLanguage "(AbsoluteValueFn ?NUMBER)的值时 RealNumber ?NUMBER 的绝对值。")	Merge.kif 4921-4922
(documentation AbsoluteValueFn EnglishLanguage "The value of (AbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER.")	Merge.kif 4919-4920
(domain AbsoluteValueFn 1 RealNumber)	Merge.kif 4917-4917	domain AbsoluteValueFn, 1 and 実数
(instance AbsoluteValueFn TotalValuedRelation)	Merge.kif 4916-4916	instance AbsoluteValueFn and 合計値関係
(instance AbsoluteValueFn UnaryFunction)	Merge.kif 4915-4915	instance AbsoluteValueFn and 1変数関数
(lexicon AbsoluteValueFn LexNoun "abs")	engineering.kif 133-133	lexicon AbsoluteValueFn, LexNoun and "abs"
(lexicon AbsoluteValueFn LexNoun "absolute value")	engineering.kif 134-134	lexicon AbsoluteValueFn, LexNoun and "absolute value"
(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4918-4918	range AbsoluteValueFn and 非負実数

appearance as argument number 2

(format ChineseLanguage AbsoluteValueFn "%1 的绝对值")	chinese_format.kif 688-688
(format EnglishLanguage AbsoluteValueFn "the absolute value of %1")	english_format.kif 428-428
(termFormat ChineseLanguage AbsoluteValueFn "绝对值函数")	chinese_format.kif 689-689	termFormat ChineseLanguage, AbsoluteValueFn and "绝对值函数"
(termFormat EnglishLanguage AbsoluteValueFn "absolute value")	domainEnglishFormat.kif 1293-1293	termFormat EnglishLanguage, AbsoluteValueFn and "absolute value"

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 ?NUMBER1)))))

Merge.kif 4924-4935