Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ArcTangentFn |
| appearance as argument number 1 |
|
| (instance ArcTangentFn UnaryFunction) | Merge.kif 5370-5370 | Arctangent is an instance of unary function |
| (instance ArcTangentFn TotalValuedRelation) | Merge.kif 5371-5371 | Arctangent is an instance of total valued relation |
| (domain ArcTangentFn 1 RealNumber) | Merge.kif 5372-5372 | The number 1 argument of arctangent is an instance of real number |
| (range ArcTangentFn RealNumber) | Merge.kif 5373-5373 | The range of arctangent is an instance of real number |
| (documentation ArcTangentFn EnglishLanguage "The inverse of TangentFn.") | Merge.kif 5374-5374 | The range of arctangent is an instance of real number |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage ArcTangentFn "the arctan of %1") | Merge.kif 5375-5375 | |
| (termFormat EnglishLanguage ArcTangentFn "arctangent") | Merge.kif 5376-5376 |
| statement |
|
|
| (equal (ArcTangentFn (TangentFn ?X)) ?X) |
Merge.kif 5378-5378 | equal the arctan of the tangent of X and X |
|