| 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 | The number 1 argument of 互相 is an instance of real number |
| (instance ReciprocalFn TotalValuedRelation) | Merge.kif 5070-5070 | 互相 is an instance of total valued relation |
| (instance ReciprocalFn UnaryFunction) | Merge.kif 5068-5068 | 互相 is an instance of unary function |
| (range ReciprocalFn RealNumber) | Merge.kif 5072-5072 | The range of 互相 is an instance of real number |
| 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 49002-49002 | |
| (termFormat ChineseLanguage ReciprocalFn "倒数函数") | chinese_format.kif 721-721 | |
| (termFormat ChineseTraditionalLanguage ReciprocalFn "互相") | domainEnglishFormat.kif 49001-49001 | |
| (termFormat EnglishLanguage ReciprocalFn "互相") | domainEnglishFormat.kif 49000-49000 |
| 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 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 3.0 is open source software produced by Articulate Software and its partners