AbsoluteValueFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AbsoluteValueFn ChineseLanguage "(AbsoluteValueFn ?NUMBER)的值时 RealNumber ?NUMBER 的绝对值。")	chinese_format.kif 2224-2225
(documentation AbsoluteValueFn EnglishLanguage "The value of (AbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER.")	Merge.kif 4766-4767
(documentation AbsoluteValueFn JapaneseLanguage "(AbsoluteValueFn ?NUMBER) の値は RealNumber ?NUMBER の絶対値である。")	japanese_format.kif 888-889
(domain AbsoluteValueFn 1 RealNumber)	Merge.kif 4763-4763	The number 1 argument of absolute value is an instance of real number
(instance AbsoluteValueFn TotalValuedRelation)	Merge.kif 4762-4762	Absolute value is an instance of total valued relation
(instance AbsoluteValueFn UnaryFunction)	Merge.kif 4761-4761	Absolute value is an instance of unary function
(lexicon AbsoluteValueFn LexNoun "abs")	engineering.kif 134-134	Absolute value is an instance of unary function
(lexicon AbsoluteValueFn LexNoun "absolute value")	engineering.kif 135-135	Absolute value is an instance of unary function
(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4764-4764	The range of absolute value is an instance of nonnegative real number

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 690-690
(format FrenchLanguage AbsoluteValueFn "la valeur absolue de %1")	french_format.kif 417-417
(format ItalianLanguage AbsoluteValueFn "ilvalore assoluto di%1")	relations-it.txt 18-18
(format JapaneseLanguage AbsoluteValueFn "%1 の absolute value")	japanese_format.kif 2134-2134
(format PortugueseLanguage AbsoluteValueFn "o valor absoluto de %1")	portuguese_format.kif 369-369
(format de AbsoluteValueFn "der absolutebetrag von %1")	relations-de.txt 895-895
(format hi AbsoluteValueFn "%1 kaa nirapeksha maana")	relations-hindi.txt 63-63
(format ro AbsoluteValueFn "value%t{valoarea} absolute{absolutã} a lui %1")	relations-ro.kif 439-439
(format sv AbsoluteValueFn "absolutbeloppet av %1")	relations-sv.txt 461-461
(format tg AbsoluteValueFn "ang buong kahulugan sa %1")	relations-cb.txt 52-52
(termFormat ChineseLanguage AbsoluteValueFn "绝对值")	domainEnglishFormat.kif 5158-5158
(termFormat ChineseLanguage AbsoluteValueFn "绝对值函数")	chinese_format.kif 689-689
(termFormat ChineseTraditionalLanguage AbsoluteValueFn "絕對值")	domainEnglishFormat.kif 5157-5157
(termFormat EnglishLanguage AbsoluteValueFn "absolute value")	domainEnglishFormat.kif 5156-5156
(termFormat tg AbsoluteValueFn "tungkulin ng buong kahulugan")	relations-tg.txt 53-53

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

Merge.kif 4769-4780