| 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 | The number 1 argument of denominator is an instance of real number |
| (instance DenominatorFn TotalValuedRelation) | Merge.kif 4810-4810 | Denominator is an instance of total valued relation |
| (instance DenominatorFn UnaryFunction) | Merge.kif 4809-4809 | Denominator is an instance of unary function |
| (range DenominatorFn Integer) | Merge.kif 4812-4812 | The range of denominator is an instance of 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 | |
| (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 19060-19060 | |
| (termFormat ChineseLanguage DenominatorFn "分母函数") | chinese_format.kif 695-695 | |
| (termFormat ChineseTraditionalLanguage DenominatorFn "分母") | domainEnglishFormat.kif 19059-19059 | |
| (termFormat EnglishLanguage DenominatorFn "denominator") | domainEnglishFormat.kif 19058-19058 | |
| (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