| appearance as argument number 1 |
|
| (documentation RationalNumberFn ChineseLanguage "(RationalNumberFn ?NUMBER)得出 ?NUMBER 的比值。") | chinese_format.kif 2259-2260 | |
| (documentation RationalNumberFn EnglishLanguage "(RationalNumberFn ?NUMBER) returns the rational representation of ?NUMBER.") | Merge.kif 5058-5059 | |
| (documentation RationalNumberFn JapaneseLanguage "(RationalNumberFn ?NUMBER) は、?NUMBER の合理的な表現を返す。") | japanese_format.kif 923-924 | |
| (domain RationalNumberFn 1 Number) | Merge.kif 5055-5055 | The number 1 argument of rational number is an instance of number |
| (instance RationalNumberFn UnaryFunction) | Merge.kif 5054-5054 | Rational number is an instance of unary function |
| (range RationalNumberFn RationalNumber) | Merge.kif 5056-5056 | The range of rational number is an instance of rational number |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage RationalNumberFn "%1 的有理数") | chinese_format.kif 716-716 | |
| (format EnglishLanguage RationalNumberFn "the rationalRepresentation of %1") | english_format.kif 718-718 | |
| (format FrenchLanguage RationalNumberFn "la repr�sentation rationelle de %1") | french_format.kif 431-431 | |
| (format ItalianLanguage RationalNumberFn "la rappresentazione razionale di %1") | relations-it.txt 241-241 | |
| (format JapaneseLanguage RationalNumberFn "%1の rationalRepresentation") | japanese_format.kif 2148-2148 | |
| (format PortugueseLanguage RationalNumberFn "a forma racional de %1") | portuguese_format.kif 383-383 | |
| (format de RationalNumberFn "die rationale Darstellung von %1") | relations-de.txt 929-929 | |
| (format hi RationalNumberFn "%1 kaa parimeya niruupaNa") | relations-hindi.txt 279-279 | |
| (format ro RationalNumberFn "reprezentarea rational%t{raþionalã} a lui %1") | relations-ro.kif 453-453 | |
| (format sv RationalNumberFn "den rationella representationen av %1") | relations-sv.txt 488-488 | |
| (termFormat ChineseLanguage RationalNumberFn "有理数") | domainEnglishFormat.kif 48840-48840 | |
| (termFormat ChineseLanguage RationalNumberFn "有理数函数") | chinese_format.kif 717-717 | |
| (termFormat ChineseTraditionalLanguage RationalNumberFn "有理數") | domainEnglishFormat.kif 48839-48839 | |
| (termFormat EnglishLanguage RationalNumberFn "rational number") | domainEnglishFormat.kif 48838-48838 |
|
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