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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DenominatorFn

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 4784-4785
(domain DenominatorFn 1 RealNumber) Merge.kif 4781-4781 domain DenominatorFn, 1 and RealNumber
(instance DenominatorFn TotalValuedRelation) Merge.kif 4780-4780 instance DenominatorFn and TotalValuedRelation
(instance DenominatorFn UnaryFunction) Merge.kif 4779-4779 instance DenominatorFn and UnaryFunction
(range DenominatorFn Integer) Merge.kif 4782-4782 range DenominatorFn and 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 696-696
(termFormat ChineseLanguage DenominatorFn "分母") domainEnglishFormat.kif 19030-19030
(termFormat ChineseLanguage DenominatorFn "分母函数") chinese_format.kif 695-695
(termFormat ChineseTraditionalLanguage DenominatorFn "分母") domainEnglishFormat.kif 19029-19029
(termFormat EnglishLanguage DenominatorFn "denominator") domainEnglishFormat.kif 19028-19028


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

Show without tree


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