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 的绝对值。") chinese_format.kif 2224-2225
(documentation AbsoluteValueFn EnglishLanguage "The value of (AbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER.") Merge.kif 4793-4794
(documentation AbsoluteValueFn JapaneseLanguage "(AbsoluteValueFn ?NUMBER) の値は RealNumber ?NUMBER の絶対値である。") japanese_format.kif 888-889
(domain AbsoluteValueFn 1 RealNumber) Merge.kif 4790-4790 绝对值函数 的 1 数量 是 实数 的 instance
(instance AbsoluteValueFn TotalValuedRelation) Merge.kif 4789-4789 绝对值函数 是 总值关系 的 instance
(instance AbsoluteValueFn UnaryFunction) Merge.kif 4788-4788 绝对值函数 是 一元函数 的 instance
(lexicon AbsoluteValueFn LexNoun "abs") engineering.kif 133-133 绝对值函数 是 一元函数 的 instance
(lexicon AbsoluteValueFn LexNoun "absolute value") engineering.kif 134-134 绝对值函数 是 一元函数 的 instance
(range AbsoluteValueFn NonnegativeRealNumber) Merge.kif 4791-4791 绝对值函数 的 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 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 5163-5163
(termFormat ChineseLanguage AbsoluteValueFn "绝对值函数") chinese_format.kif 689-689
(termFormat ChineseTraditionalLanguage AbsoluteValueFn "絕對值") domainEnglishFormat.kif 5162-5162
(termFormat EnglishLanguage AbsoluteValueFn "absolute value") domainEnglishFormat.kif 5161-5161
(termFormat de AbsoluteValueFn "AbsolutbetragFn") terms-de.txt 266-266
(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 4796-4807 equal 实数 的绝对值 and 非负实数 和 那个 实数 是 实数 的 instance 和 那个 非负实数 是 实数 的 instance 若且唯若 那个 实数 是 非负实数 的 instance 和 equal 那个 实数 and 那个 非负实数 或 那个 实数 是 负实数 的 instance 和 equal 那个 非负实数 and (0.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 3.0 is open source software produced by Articulate Software and its partners