| appearance as argument number 1 |
|
| (instance ArcTangentFn UnaryFunction) | Merge.kif 5294-5294 | Arctangent is an instance of unary function |
| (instance ArcTangentFn TotalValuedRelation) | Merge.kif 5295-5295 | Arctangent is an instance of total valued relation |
| (domain ArcTangentFn 1 RealNumber) | Merge.kif 5296-5296 | The number 1 argument of arctangent is an instance of real number |
| (range ArcTangentFn RealNumber) | Merge.kif 5297-5297 | The range of arctangent is an instance of real number |
| (documentation ArcTangentFn EnglishLanguage "The inverse of TangentFn.") | Merge.kif 5298-5298 | The range of arctangent is an instance of real number |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage ArcTangentFn "the arctan of %1") | Merge.kif 5299-5299 | |
| (termFormat EnglishLanguage ArcTangentFn "arctangent") | Merge.kif 5300-5300 |
| statement |
|
|
| (equal (ArcTangentFn (TangentFn ?X)) ?X) |
Merge.kif 5302-5302 | equal the arctan of the tangent of X and X |
|
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.0-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners