Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RationalNumberFn |
| appearance as argument number 1 |
|
| (instance RationalNumberFn UnaryFunction) | Merge.kif 5165-5165 | Rational number is an instance of unary function |
| (domain RationalNumberFn 1 Number) | Merge.kif 5166-5166 | The number 1 argument of rational number is an instance of number |
| (range RationalNumberFn RationalNumber) | Merge.kif 5167-5167 | The range of rational number is an instance of rational number |
| (documentation RationalNumberFn EnglishLanguage "(RationalNumberFn ?NUMBER) returns the rational representation of ?NUMBER.") | Merge.kif 5169-5170 | The range of rational number is an instance of rational number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RationalNumberFn "rational number") | domainEnglishFormat.kif 48795-48795 | |
| (termFormat ChineseTraditionalLanguage RationalNumberFn "有理數") | domainEnglishFormat.kif 48796-48796 | |
| (termFormat ChineseLanguage RationalNumberFn "有理数") | domainEnglishFormat.kif 48797-48797 | |
| (format EnglishLanguage RationalNumberFn "the rationalRepresentation of %1") | english_format.kif 718-718 |
|