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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReciprocalFn

 Sigma KEE - ReciprocalFn
ReciprocalFn

appearance as argument number 1
-------------------------


(documentation ReciprocalFn ChineseLanguage "(ReciprocalFn ?NUMBER) 是相对于乘法运算 (MultiplicationFn),?NUMBER 的乘法逆元素(倒数),即是 1/ ?NUMBER。不是所有的数字都有倒数的， 比如说数字0就没有。如果一个数字 ?NUMBER有倒数 ?RECIP的话，那么 ?NUMBER 和 ?RECIP 的积会是1, 例如：3*1/ 3 = 1。一个元素的倒数 equal 对那个元素以-1的次方，应用 ExponentiationFn 函数。") chinese_format.kif 2263-2266
(documentation ReciprocalFn EnglishLanguage "(ReciprocalFn ?NUMBER) is the reciprocal element of ?NUMBER with respect to the multiplication operator (MultiplicationFn), i.e. 1/ ?NUMBER. Not all numbers have a reciprocal element. For example the number 0 does not. If a number ?NUMBER has a reciprocal ?RECIP, then the product of ?NUMBER and ?RECIP will be 1, e.g. 3*1/ 3 = 1. The reciprocal of an element is equal to applying the ExponentiationFn function to the element to the power -1.") Merge.kif 5074-5081
(documentation ReciprocalFn JapaneseLanguage "(ReciprocalFn ?NUMBER) は、乗算演算子 (MultiplicationFn) に対する?NUMBERの逆数要素、すなわち1/ ?NUMBERである。すべての数値に相互要素 があるわけではない。　例えば、数値０はそうではない。数値?NUMBERに相互?RECIPがある場合、?NUMBERと ?RECIPの積は１になる。　例：3*1/ 3 = 1。要素の逆数は、要素に ExponentiationFn 関数を power -1 に適用することに対して equal である。") japanese_format.kif 927-931
(domain ReciprocalFn 1 RealNumber) Merge.kif 5071-5071 倒数函数 的 1 数量 是 实数 的 instance
(instance ReciprocalFn TotalValuedRelation) Merge.kif 5070-5070 倒数函数 是 总值关系 的 instance
(instance ReciprocalFn UnaryFunction) Merge.kif 5068-5068 倒数函数 是 一元函数 的 instance
(range ReciprocalFn RealNumber) Merge.kif 5072-5072 倒数函数 的 range 是 实数 的实例

appearance as argument number 2
-------------------------


(format ChineseLanguage ReciprocalFn "%1 的倒数") chinese_format.kif 720-720
(format EnglishLanguage ReciprocalFn "the reciprocal of %1") english_format.kif 722-722
(format FrenchLanguage ReciprocalFn "le reciproque de %1") french_format.kif 433-433
(format ItalianLanguage ReciprocalFn "il reciproco di %1") relations-it.txt 244-244
(format JapaneseLanguage ReciprocalFn "%1 の reciprocal") japanese_format.kif 2150-2150
(format PortugueseLanguage ReciprocalFn "o reciproco de %1") portuguese_format.kif 385-385
(format de ReciprocalFn "der reziprokerwert von %1") relations-de.txt 933-933
(format hi ReciprocalFn "%1 kaa vyutkrama") relations-hindi.txt 282-282
(format ro ReciprocalFn "reciprocal%t{reciproca} lui %1") relations-ro.kif 455-455
(format sv ReciprocalFn "reciproken av %1") relations-sv.txt 493-493
(termFormat ChineseLanguage ReciprocalFn "倒数") domainEnglishFormat.kif 48964-48964
(termFormat ChineseLanguage ReciprocalFn "倒数函数") chinese_format.kif 721-721
(termFormat ChineseTraditionalLanguage ReciprocalFn "互相") domainEnglishFormat.kif 48963-48963
(termFormat EnglishLanguage ReciprocalFn "互相") domainEnglishFormat.kif 48962-48962

consequent
-------------------------


(=>
    (and
        (instance ?NUMBER Integer)
        (not
            (equal ?NUMBER 0)))
    (equal 1
        (MultiplicationFn ?NUMBER
            (ReciprocalFn ?NUMBER))))		 Merge.kif 5087-5092
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))		 Merge.kif 5083-5085


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