| 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 4717-4718 | |
| (domain DenominatorFn 1 RealNumber) | Merge.kif 4714-4714 | The number 1 argument of denominator is an instance of real number |
| (instance DenominatorFn TotalValuedRelation) | Merge.kif 4713-4713 | Denominator is an instance of total valued relation |
| (instance DenominatorFn UnaryFunction) | Merge.kif 4712-4712 | Denominator is an instance of unary function |
| (range DenominatorFn Integer) | Merge.kif 4715-4715 | 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 | |
| (termFormat ChineseLanguage DenominatorFn "分母") | domainEnglishFormat.kif 19035-19035 | |
| (termFormat ChineseLanguage DenominatorFn "分母函数") | chinese_format.kif 695-695 | |
| (termFormat ChineseTraditionalLanguage DenominatorFn "分母") | domainEnglishFormat.kif 19034-19034 | |
| (termFormat EnglishLanguage DenominatorFn "denominator") | domainEnglishFormat.kif 19033-19033 |
|
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