Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AbsoluteValueFn
AbsoluteValueFn

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 equal AbsoluteValueFn 実数 and 非負実数 instance 実数 and 実数 instance 非負実数 and 実数 instance 実数 and 非負実数 equal 実数 and 非負実数 instance 実数 and 負の実数 equal 非負実数 and SubtractionFn 0 and 実数


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners