TreeView Knowledge Base Browser

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 4784-4785
(domain DenominatorFn 1 RealNumber)	Merge.kif 4781-4781
(instance DenominatorFn TotalValuedRelation)	Merge.kif 4780-4780
(instance DenominatorFn UnaryFunction)	Merge.kif 4779-4779
(range DenominatorFn Integer)	Merge.kif 4782-4782

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
(termFormat ChineseLanguage DenominatorFn "分母")	domainEnglishFormat.kif 19030-19030
(termFormat ChineseLanguage DenominatorFn "分母函数")	chinese_format.kif 695-695
(termFormat ChineseTraditionalLanguage DenominatorFn "分母")	domainEnglishFormat.kif 19029-19029
(termFormat EnglishLanguage DenominatorFn "denominator")	domainEnglishFormat.kif 19028-19028