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 4814-4815
(documentation DenominatorFn JapaneseLanguage "(DenominatorFn ?NUMBER) は、RealNumber ?NUMBERの正規減少フォームの分母を返す。") japanese_format.kif 894-895
(domain DenominatorFn 1 RealNumber) Merge.kif 4811-4811 Die Zahl 1 Argument von DenominatorFn ist ein fall von RealNumber %n{nicht}
(instance DenominatorFn TotalValuedRelation) Merge.kif 4810-4810 DenominatorFn ist ein fall von TotalValuedRelation %n{nicht}
(instance DenominatorFn UnaryFunction) Merge.kif 4809-4809 DenominatorFn ist ein fall von UnaryFunction %n{nicht}
(range DenominatorFn Integer) Merge.kif 4812-4812 bildbereich von DenominatorFn ist ein fall von Integer {nicht}

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