TreeView Knowledge Base Browser

appearance as argument number 1

(documentation NumeratorFn ChineseLanguage "(NumeratorFn ?NUMBER)得出 ?NUMBER 还原规范形式的分子。")	chinese_format.kif 2253-2254
(documentation NumeratorFn EnglishLanguage "(NumeratorFn ?NUMBER) returns the numerator of the canonical reduced form ?NUMBER.")	Merge.kif 4943-4944
(domain NumeratorFn 1 RealNumber)	Merge.kif 4940-4940
(instance NumeratorFn TotalValuedRelation)	Merge.kif 4939-4939
(instance NumeratorFn UnaryFunction)	Merge.kif 4938-4938
(range NumeratorFn Integer)	Merge.kif 4941-4941

appearance as argument number 2

(format ChineseLanguage NumeratorFn "%1 的分子")	chinese_format.kif 714-714
(format EnglishLanguage NumeratorFn "the numerator of %1")	english_format.kif 716-716
(termFormat ChineseLanguage NumeratorFn "分子")	domainEnglishFormat.kif 41424-41424
(termFormat ChineseLanguage NumeratorFn "分子函数")	chinese_format.kif 715-715
(termFormat ChineseTraditionalLanguage NumeratorFn "分子")	domainEnglishFormat.kif 41423-41423
(termFormat EnglishLanguage NumeratorFn "numerator")	domainEnglishFormat.kif 41422-41422