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 4814-4815
(documentation DenominatorFn JapaneseLanguage "(DenominatorFn ?NUMBER) は、RealNumber ?NUMBERの正規減少フォームの分母を返す。") japanese_format.kif 894-895
(domain DenominatorFn 1 RealNumber) Merge.kif 4811-4811 Il numero 1 argomenti di DenominatorFn è un istanza di NumeroReale
(instance DenominatorFn TotalValuedRelation) Merge.kif 4810-4810 DenominatorFn è un' istanza di RelazioneAValoreTotale
(instance DenominatorFn UnaryFunction) Merge.kif 4809-4809 DenominatorFn è un' istanza di FunzioneUnaria
(range DenominatorFn Integer) Merge.kif 4812-4812 rango di DenominatorFn è un'istanza di NumeroIntero

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