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
-------------------------


(documentation DenominatorFn ChineseLanguage "(DenominatorFn ?NUMBER)得出 RealNumber ?NUMBER 还原规范形式的分母。") chinese_format.kif 2230-2231
(documentation DenominatorFn EnglishLanguage "(DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the RealNumber ?NUMBER.") Merge.kif 4494-4495
(domain DenominatorFn 1 RealNumber) Merge.kif 4491-4491 The number 1 argument of denominator is an instance of real number
(instance DenominatorFn TotalValuedRelation) Merge.kif 4490-4490 Denominator is an instance of total valued relation
(instance DenominatorFn UnaryFunction) Merge.kif 4489-4489 Denominator is an instance of unary function
(range DenominatorFn Integer) Merge.kif 4492-4492 The range of denominator is an instance of integer

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


(format ChineseLanguage DenominatorFn "%1 的分母") chinese_format.kif 694-694
(format EnglishLanguage DenominatorFn "the denominator of %1") english_format.kif 699-699
(termFormat ChineseLanguage DenominatorFn "分母") domainEnglishFormat.kif 18973-18973 "分母" is the printable form of denominator in ChineseLanguage
(termFormat ChineseLanguage DenominatorFn "分母函数") chinese_format.kif 695-695 "分母函数" is the printable form of denominator in ChineseLanguage
(termFormat ChineseTraditionalLanguage DenominatorFn "分母") domainEnglishFormat.kif 18972-18972 "分母" is the printable form of denominator in ChineseTraditionalLanguage
(termFormat EnglishLanguage DenominatorFn "denominator") domainEnglishFormat.kif 18971-18971 "denominator" is the printable form of denominator in english language


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners