DenominatorFn |
appearance as argument number 1 |
(documentation DenominatorFn ChineseLanguage "(DenominatorFn ?NUMBER)得出 RealNumber ?NUMBER 还原规范形式的分母。") | chinese_format.kif 2230-2231 | |
(documentation DenominatorFn EnglishLanguage "(DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the RealNumber ?NUMBER.") | Merge.kif 4814-4815 | |
(documentation DenominatorFn JapaneseLanguage "(DenominatorFn ?NUMBER) は、RealNumber ?NUMBERの正規減少フォームの分母を返す。") | japanese_format.kif 894-895 | |
(domain DenominatorFn 1 RealNumber) | Merge.kif 4811-4811 | Le nombre 1 argument de DenominatorFn est une instance de nombre r�el |
(instance DenominatorFn TotalValuedRelation) | Merge.kif 4810-4810 | DenominatorFn est une instance de relation total |
(instance DenominatorFn UnaryFunction) | Merge.kif 4809-4809 | DenominatorFn est une instance de function unaire |
(range DenominatorFn Integer) | Merge.kif 4812-4812 | Le domaine de DenominatorFn est une instance de nombre entier |
appearance as argument number 2 |
(format ChineseLanguage DenominatorFn "%1 的分母") | chinese_format.kif 694-694 | |
(format EnglishLanguage DenominatorFn "the denominator of %1") | english_format.kif 696-696 | |
(format FrenchLanguage DenominatorFn "le denominateur de %1") | french_format.kif 420-420 | |
(format ItalianLanguage DenominatorFn "il denominatore di %1") | relations-it.txt 68-68 | |
(format JapaneseLanguage DenominatorFn "%1 の denominator") | japanese_format.kif 2137-2137 | |
(format PortugueseLanguage DenominatorFn "o denominador de %1") | portuguese_format.kif 372-372 | |
(format de DenominatorFn "der nenner von %1") | relations-de.txt 907-907 | |
(format hi DenominatorFn "%1 kaa hara") | relations-hindi.txt 109-109 | |
(format ro DenominatorFn "denominator%t{numitorul} fracþiei %1") | relations-ro.kif 442-442 | |
(format sv DenominatorFn "nämnaren av %1") | relations-sv.txt 471-471 | |
(format tg DenominatorFn "ang denominator ng %1") | relations-cb.txt 102-102 | |
(termFormat ChineseLanguage DenominatorFn "分母") | domainEnglishFormat.kif 19060-19060 | |
(termFormat ChineseLanguage DenominatorFn "分母函数") | chinese_format.kif 695-695 | |
(termFormat ChineseTraditionalLanguage DenominatorFn "分母") | domainEnglishFormat.kif 19059-19059 | |
(termFormat EnglishLanguage DenominatorFn "denominator") | domainEnglishFormat.kif 19058-19058 | |
(termFormat tg DenominatorFn "tungkluin denominator") | relations-tg.txt 153-153 |