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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 4813-4814
(documentation DenominatorFn JapaneseLanguage "(DenominatorFn ?NUMBER) は、RealNumber ?NUMBERの正規減少フォームの分母を返す。") japanese_format.kif 894-895
(domain DenominatorFn 1 RealNumber) Merge.kif 4810-4810 Le nombre 1 argument de DenominatorFn est une instance de nombre r�el
(instance DenominatorFn TotalValuedRelation) Merge.kif 4809-4809 DenominatorFn est une instance de relation total
(instance DenominatorFn UnaryFunction) Merge.kif 4808-4808 DenominatorFn est une instance de function unaire
(range DenominatorFn Integer) Merge.kif 4811-4811 Le domaine de DenominatorFn est une instance de nombre entier

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
(format FrenchLanguage DenominatorFn "le denominateur de %1") french_format.kif 420-420
(format ItalianLanguage DenominatorFn "il denominatore di %1") relations-it.txt 68-68
(format JapaneseLanguage DenominatorFn "%1 の denominator") japanese_format.kif 2137-2137
(format PortugueseLanguage DenominatorFn "o denominador de %1") portuguese_format.kif 372-372
(format de DenominatorFn "der nenner von %1") relations-de.txt 907-907
(format hi DenominatorFn "%1 kaa hara") relations-hindi.txt 109-109
(format ro DenominatorFn "denominator%t{numitorul} fracþiei %1") relations-ro.kif 442-442
(format sv DenominatorFn "nämnaren av %1") relations-sv.txt 471-471
(format tg DenominatorFn "ang denominator ng %1") relations-cb.txt 102-102
(termFormat ChineseLanguage DenominatorFn "分母") domainEnglishFormat.kif 19044-19044
(termFormat ChineseLanguage DenominatorFn "分母函数") chinese_format.kif 695-695
(termFormat ChineseTraditionalLanguage DenominatorFn "分母") domainEnglishFormat.kif 19043-19043
(termFormat EnglishLanguage DenominatorFn "denominator") domainEnglishFormat.kif 19042-19042
(termFormat tg DenominatorFn "tungkluin denominator") relations-tg.txt 153-153

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