Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DenominatorFn
DenominatorFn

appearance as argument number 1
-------------------------


s__documentation(s__DenominatorFn__m,s__ChineseLanguage,'"(DenominatorFn ?NUMBER)得出 RealNumber ?NUMBER 还原规范形式的分母。"')

chinese_format.kif 2230-2231
s__documentation(s__DenominatorFn__m,s__EnglishLanguage,'"(DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the RealNumber ?NUMBER."')

Merge.kif 4640-4641
s__domain(s__DenominatorFn__m,n__1,s__RealNumber)

Merge.kif 4637-4637 The number 1 argument of denominator is an instance of real number
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__DenominatorFn__m,s__TotalValuedRelation)

Merge.kif 4636-4636 Denominator is an instance of total valued relation
s__instance(s__DenominatorFn__m,s__UnaryFunction)

s__instance(s__UnaryFunction,s__SetOrClass)

Merge.kif 4635-4635 Denominator is an instance of unary function
s__range(s__DenominatorFn__m,s__Integer)

Merge.kif 4638-4638 The range of denominator is an instance of integer

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__DenominatorFn__m,'"%1 的分母"')

chinese_format.kif 694-694
s__format(s__EnglishLanguage,s__DenominatorFn__m,'"the denominator of %1"')

english_format.kif 699-699
s__termFormat(s__ChineseLanguage,s__DenominatorFn__m,'"分母"')

domainEnglishFormat.kif 19035-19035
s__termFormat(s__ChineseLanguage,s__DenominatorFn__m,'"分母函数"')

chinese_format.kif 695-695
s__termFormat(s__ChineseTraditionalLanguage,s__DenominatorFn__m,'"分母"')

domainEnglishFormat.kif 19034-19034
s__termFormat(s__EnglishLanguage,s__DenominatorFn__m,'"denominator"')

domainEnglishFormat.kif 19033-19033


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners