TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ArcTangentFn EnglishLanguage "The inverse of TangentFn.")	Merge.kif 5182-5182
(domain ArcTangentFn 1 RealNumber)	Merge.kif 5180-5180	ArcTangentFn 的 1 数量是实数的 instance
(instance ArcTangentFn TotalValuedRelation)	Merge.kif 5179-5179	ArcTangentFn 是总值关系的 instance
(instance ArcTangentFn UnaryFunction)	Merge.kif 5178-5178	ArcTangentFn 是一元函数的 instance
(range ArcTangentFn RealNumber)	Merge.kif 5181-5181	ArcTangentFn 的 range 是实数的实例

appearance as argument number 2

(format EnglishLanguage ArcTangentFn "the arctan of %1")	Merge.kif 5183-5183
(termFormat EnglishLanguage ArcTangentFn "arctangent")	Merge.kif 5184-5184

statement

(equal
(ArcTangentFn
(TangentFn ?X)) ?X)

Merge.kif 5186-5186