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 5039-5040
(documentation NumeratorFn JapaneseLanguage "(NumeratorFn ?NUMBER) は、正規の縮小フォーム ?NUMBER の分子を返す。")	japanese_format.kif 917-918
(domain NumeratorFn 1 RealNumber)	Merge.kif 5036-5036	The number 1 argument of numerator is an instance of real number
(instance NumeratorFn TotalValuedRelation)	Merge.kif 5035-5035	Numerator is an instance of total valued relation
(instance NumeratorFn UnaryFunction)	Merge.kif 5034-5034	Numerator is an instance of unary function
(range NumeratorFn Integer)	Merge.kif 5037-5037	The range of numerator is an instance of integer

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
(format FrenchLanguage NumeratorFn "le numerateur de %1")	french_format.kif 430-430
(format ItalianLanguage NumeratorFn "il numeratore di %1")	relations-it.txt 201-201
(format JapaneseLanguage NumeratorFn "%1の numerator")	japanese_format.kif 2147-2147
(format PortugueseLanguage NumeratorFn "o numerador de %1")	portuguese_format.kif 382-382
(format de NumeratorFn "der zaehler von %1")	relations-de.txt 927-927
(format hi NumeratorFn "%1 kaa ansha")	relations-hindi.txt 239-239
(format ro NumeratorFn "numerator%t{numãrãtorul} fracþiei %1")	relations-ro.kif 452-452
(format sv NumeratorFn "täljaren av %1")	relations-sv.txt 487-487
(termFormat ChineseLanguage NumeratorFn "分子")	domainEnglishFormat.kif 41439-41439
(termFormat ChineseLanguage NumeratorFn "分子函数")	chinese_format.kif 715-715
(termFormat ChineseTraditionalLanguage NumeratorFn "分子")	domainEnglishFormat.kif 41438-41438
(termFormat EnglishLanguage NumeratorFn "numerator")	domainEnglishFormat.kif 41437-41437