TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ArcSineFn EnglishLanguage "The inverse of SineFn.")	Merge.kif 5177-5177
(domain ArcSineFn 1 RealNumber)	Merge.kif 5175-5175
(instance ArcSineFn TotalValuedRelation)	Merge.kif 5174-5174
(instance ArcSineFn UnaryFunction)	Merge.kif 5173-5173
(range ArcSineFn RealNumber)	Merge.kif 5176-5176

appearance as argument number 2

(format EnglishLanguage ArcSineFn "the arcsine of %1")	Merge.kif 5178-5178
(termFormat EnglishLanguage ArcSineFn "arcsine")	Merge.kif 5179-5179

statement

(equal
(ArcSineFn
(SineFn ?X)) ?X)

Merge.kif 5181-5181