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 4908-4909
(documentation AbsoluteValueFn EnglishLanguage "The value of (AbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER.") Merge.kif 4906-4907
(domain AbsoluteValueFn 1 RealNumber) Merge.kif 4904-4904
(instance AbsoluteValueFn TotalValuedRelation) Merge.kif 4903-4903
(instance AbsoluteValueFn UnaryFunction) Merge.kif 4902-4902
(lexicon AbsoluteValueFn LexNoun "abs") engineering.kif 133-133
(lexicon AbsoluteValueFn LexNoun "absolute value") engineering.kif 134-134
(range AbsoluteValueFn NonnegativeRealNumber) Merge.kif 4905-4905

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
(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 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 tg AbsoluteValueFn "ang buong kahulugan sa %1") relations-cb.txt 52-52
(termFormat ChineseLanguage AbsoluteValueFn "绝对值函数") chinese_format.kif 689-689
(termFormat EnglishLanguage AbsoluteValueFn "absolute value") domainEnglishFormat.kif 1293-1293
(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 ?NUMBER1)))))
Merge.kif 4911-4922


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