TreeView Knowledge Base Browser - ArcSineFn

Browsing Interface : Welcome guest : log in

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

Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ArcSineFn

ArcSineFn

appearance as argument number 1

(instance ArcSineFn UnaryFunction)	Merge.kif 5390-5390	Arcsine is an instance of unary function
(instance ArcSineFn TotalValuedRelation)	Merge.kif 5391-5391	Arcsine is an instance of total valued relation
(domain ArcSineFn 1 RealNumber)	Merge.kif 5392-5392	The number 1 argument of arcsine is an instance of real number
(range ArcSineFn RealNumber)	Merge.kif 5393-5393	The range of arcsine is an instance of real number
(documentation ArcSineFn EnglishLanguage "The inverse of SineFn.")	Merge.kif 5394-5394	The range of arcsine is an instance of real number

appearance as argument number 2

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

statement

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

Merge.kif 5398-5398

equal the arcsine of the sine 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