Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcSineFn

 Sigma KEE - ArcSineFn
ArcSineFn

appearance as argument number 1
-------------------------


(documentation ArcSineFn EnglishLanguage "The inverse of SineFn.") Merge.kif 5272-5272
(domain ArcSineFn 1 RealNumber) Merge.kif 5270-5270
(instance ArcSineFn TotalValuedRelation) Merge.kif 5269-5269
(instance ArcSineFn UnaryFunction) Merge.kif 5268-5268
(range ArcSineFn RealNumber) Merge.kif 5271-5271

appearance as argument number 2
-------------------------


(format EnglishLanguage ArcSineFn "the arcsine of %1") Merge.kif 5273-5273
(format ItalianLanguage ArcSineFn "l'arcoseno di %1") relations-it.txt 25-25
(format de ArcSineFn "der arcussinus von %1") relations-de.txt 899-899
(format hi ArcSineFn "%1 kaa aarkasaaina") relations-hindi.txt 69-69
(format sv ArcSineFn "arcsinus av %1") relations-sv.txt 464-464
(format tg ArcSineFn "ang arcsine ng %1") relations-cb.txt 59-59
(termFormat EnglishLanguage ArcSineFn "arcsine") Merge.kif 5274-5274
(termFormat tg ArcSineFn "arcsine") relations-tg.txt 67-67

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners