DenominatorFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance DenominatorFn UnaryFunction)	Merge.kif 4920-4920	Denominator is an instance of unary function
(instance DenominatorFn TotalValuedRelation)	Merge.kif 4921-4921	Denominator is an instance of total valued relation
(domain DenominatorFn 1 RealNumber)	Merge.kif 4922-4922	The number 1 argument of denominator is an instance of real number
(range DenominatorFn Integer)	Merge.kif 4923-4923	The range of denominator is an instance of integer
(documentation DenominatorFn EnglishLanguage "(DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the RealNumber ?NUMBER.")	Merge.kif 4925-4926	The range of denominator is an instance of integer

appearance as argument number 2

(termFormat EnglishLanguage DenominatorFn "denominator")	domainEnglishFormat.kif 19044-19044
(termFormat ChineseTraditionalLanguage DenominatorFn "分母")	domainEnglishFormat.kif 19045-19045
(termFormat ChineseLanguage DenominatorFn "分母")	domainEnglishFormat.kif 19046-19046
(format EnglishLanguage DenominatorFn "the denominator of %1")	english_format.kif 696-696