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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - ArcSineFn

appearance as argument number 1

(documentation ArcSineFn EnglishLanguage "The inverse of SineFn.") Merge.kif 5271-5271
(domain ArcSineFn 1 RealNumber) Merge.kif 5269-5269 ArcSineFn 的 1 数量 是 实数instance
(instance ArcSineFn TotalValuedRelation) Merge.kif 5268-5268 ArcSineFn总值关系instance
(instance ArcSineFn UnaryFunction) Merge.kif 5267-5267 ArcSineFn一元函数instance
(range ArcSineFn RealNumber) Merge.kif 5270-5270 ArcSineFnrange实数 的实例

appearance as argument number 2

(format EnglishLanguage ArcSineFn "the arcsine of %1") Merge.kif 5272-5272
(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 5273-5273
(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