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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AbsoluteValueFn

 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 绝对值函数 的 1 数量 是 实数 的 instance
(instance AbsoluteValueFn TotalValuedRelation) Merge.kif 4916-4916 绝对值函数 是 总值关系 的 instance
(instance AbsoluteValueFn UnaryFunction) Merge.kif 4915-4915 绝对值函数 是 一元函数 的 instance
(lexicon AbsoluteValueFn LexNoun "abs") engineering.kif 133-133 lexicon 绝对值函数, LexNoun and "abs"
(lexicon AbsoluteValueFn LexNoun "absolute value") engineering.kif 134-134 lexicon 绝对值函数, LexNoun and "absolute value"
(range AbsoluteValueFn NonnegativeRealNumber) Merge.kif 4918-4918 绝对值函数 的 range 是 非负实数 的实例

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, 绝对值函数 and "绝对值函数"
(termFormat EnglishLanguage AbsoluteValueFn "absolute value") domainEnglishFormat.kif 1293-1293 termFormat EnglishLanguage, 绝对值函数 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 非负实数 和 那个 实数 是 实数 的 instance 和 那个 非负实数 是 实数 的 instance 若且唯若 那个 实数 是 非负实数 的 instance 和 那个 实数 equal 那个 非负实数 或 那个 实数 是 负实数 的 instance 和 那个 非负实数 equal (0 和 那个 实数)


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

Show without tree


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