NumeratorFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance NumeratorFn UnaryFunction)	Merge.kif 5146-5146	Numerator is an instance of unary function
(instance NumeratorFn TotalValuedRelation)	Merge.kif 5147-5147	Numerator is an instance of total valued relation
(domain NumeratorFn 1 RealNumber)	Merge.kif 5148-5148	The number 1 argument of numerator is an instance of real number
(range NumeratorFn Integer)	Merge.kif 5149-5149	The range of numerator is an instance of integer
(documentation NumeratorFn EnglishLanguage "(NumeratorFn ?NUMBER) returns the numerator of the canonical reduced form ?NUMBER.")	Merge.kif 5151-5152	The range of numerator is an instance of integer

appearance as argument number 2

(termFormat EnglishLanguage NumeratorFn "numerator")	domainEnglishFormat.kif 41438-41438
(termFormat ChineseTraditionalLanguage NumeratorFn "分子")	domainEnglishFormat.kif 41439-41439
(termFormat ChineseLanguage NumeratorFn "分子")	domainEnglishFormat.kif 41440-41440
(format EnglishLanguage NumeratorFn "the numerator of %1")	english_format.kif 716-716