Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IntegerSquareRootFn |
| appearance as argument number 1 |
|
| (instance IntegerSquareRootFn UnaryFunction) | Merge.kif 5033-5033 | Integer square root is an instance of unary function |
| (instance IntegerSquareRootFn PartialValuedRelation) | Merge.kif 5034-5034 | Integer square root is an instance of partial valued relation |
| (domain IntegerSquareRootFn 1 RealNumber) | Merge.kif 5035-5035 | The number 1 argument of integer square root is an instance of real number |
| (range IntegerSquareRootFn NonnegativeInteger) | Merge.kif 5036-5036 | The range of integer square root is an instance of nonnegative integer |
| (documentation IntegerSquareRootFn EnglishLanguage "(IntegerSquareRootFn ?NUMBER) returns the integer square root of ?NUMBER.") | Merge.kif 5038-5039 | The range of integer square root is an instance of nonnegative integer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage IntegerSquareRootFn "integer square root") | domainEnglishFormat.kif 30351-30351 | |
| (termFormat ChineseTraditionalLanguage IntegerSquareRootFn "整數平方根") | domainEnglishFormat.kif 30352-30352 | |
| (termFormat ChineseLanguage IntegerSquareRootFn "整数平方根") | domainEnglishFormat.kif 30353-30353 | |
| (format EnglishLanguage IntegerSquareRootFn "the integer square root of %1") | english_format.kif 706-706 |
|