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 4799-4800
(documentation DenominatorFn JapaneseLanguage "(DenominatorFn ?NUMBER) は、RealNumber ?NUMBERの正規減少フォームの分母を返す。") japanese_format.kif 894-895
(domain DenominatorFn 1 RealNumber) Merge.kif 4796-4796 DenominatorFn の数値 1 引数は 実数instance では %n
(instance DenominatorFn TotalValuedRelation) Merge.kif 4795-4795 DenominatorFn合計値関係instance では %n
(instance DenominatorFn UnaryFunction) Merge.kif 4794-4794 DenominatorFn1変数関数instance では %n
(range DenominatorFn Integer) Merge.kif 4797-4797 DenominatorFnrange整数 のインスタンス では %n

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 19041-19041
(termFormat ChineseLanguage DenominatorFn "分母函数") chinese_format.kif 695-695
(termFormat ChineseTraditionalLanguage DenominatorFn "分母") domainEnglishFormat.kif 19040-19040
(termFormat EnglishLanguage DenominatorFn "denominator") domainEnglishFormat.kif 19039-19039
(termFormat tg DenominatorFn "tungkluin denominator") relations-tg.txt 153-153


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