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 的绝对值。") chinese_format.kif 2224-2225
(documentation AbsoluteValueFn EnglishLanguage "The value of (AbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER.") Merge.kif 4413-4414
(domain AbsoluteValueFn 1 RealNumber) Merge.kif 4410-4410 domain AbsoluteValueFn, 1 and RealNumber
(instance AbsoluteValueFn TotalValuedRelation) Merge.kif 4409-4409 instance AbsoluteValueFn and TotalValuedRelation
(instance AbsoluteValueFn UnaryFunction) Merge.kif 4408-4408 instance AbsoluteValueFn and UnaryFunction
(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 4411-4411 range AbsoluteValueFn and NonnegativeRealNumber

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 693-693
(termFormat ChineseLanguage AbsoluteValueFn "绝对值") domainEnglishFormat.kif 5159-5159 termFormat ChineseLanguage, AbsoluteValueFn and "绝对值"
(termFormat ChineseLanguage AbsoluteValueFn "绝对值函数") chinese_format.kif 689-689 termFormat ChineseLanguage, AbsoluteValueFn and "绝对值函数"
(termFormat ChineseTraditionalLanguage AbsoluteValueFn "絕對值") domainEnglishFormat.kif 5158-5158 termFormat ChineseTraditionalLanguage, AbsoluteValueFn and "絕對值"
(termFormat EnglishLanguage AbsoluteValueFn "absolute value") domainEnglishFormat.kif 5157-5157 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 4416-4427 equal AbsoluteValueFn RealNumber and NonnegativeRealNumber instance RealNumber and RealNumber instance NonnegativeRealNumber and RealNumber instance RealNumber and NonnegativeRealNumber equal RealNumber and NonnegativeRealNumber instance RealNumber and NegativeRealNumber equal NonnegativeRealNumber and SubtractionFn 0 and RealNumber


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