TreeView Knowledge Base Browser - ArcTangentFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | LogLearn | Editor | ] KB: Language:

Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ArcTangentFn

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners