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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CosineFn
CosineFn

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


(documentation CosineFn ChineseLanguage "(CosineFn ?DEGREE)得出 PlaneAngleMeasure ?DEGREE 的余弦。在一个直角三角形, ?DEGREE 的余弦是?DEGREE 傍边的边和斜边的比率。") chinese_format.kif 2228-2229
(documentation CosineFn EnglishLanguage "(CosineFn ?DEGREE) returns the cosine of the PlaneAngleMeasure ?DEGREE. The cosine of ?DEGREE is the ratio of the side next to ?DEGREE to the hypotenuse in a right-angled triangle.") Merge.kif 4805-4807
(documentation CosineFn JapaneseLanguage "(CosineFn ?DEGREE) は PlaneAngleMeasure ?DEGREEの余弦をす。 ?DEGREEの余弦は、直角三角形の斜辺に対する?DEGREEの横の比率である。") japanese_format.kif 892-893
(domain CosineFn 1 PlaneAngleMeasure) Merge.kif 4802-4802 Die Zahl 1 Argument von CosineFn ist ein fall von PlaneAngleMeasure %n{nicht}
(instance CosineFn TotalValuedRelation) Merge.kif 4801-4801 CosineFn ist ein fall von TotalValuedRelation %n{nicht}
(instance CosineFn UnaryFunction) Merge.kif 4800-4800 CosineFn ist ein fall von UnaryFunction %n{nicht}
(lexicon CosineFn LexNoun "cos") engineering.kif 141-141
(lexicon CosineFn LexNoun "cosinus") engineering.kif 140-140
(range CosineFn RealNumber) Merge.kif 4803-4803 bildbereich von CosineFn ist ein fall von RealNumber {nicht}

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


(format ChineseLanguage CosineFn "%1 的馀弦") chinese_format.kif 692-692
(format EnglishLanguage CosineFn "the cosine of %1") english_format.kif 694-694
(format FrenchLanguage CosineFn "le cosinus de %1") french_format.kif 419-419
(format ItalianLanguage CosineFn "il coseno di %1") relations-it.txt 61-61
(format JapaneseLanguage CosineFn "%1 の cosine") japanese_format.kif 2136-2136
(format PortugueseLanguage CosineFn "o coseno de %1") portuguese_format.kif 371-371
(format de CosineFn "der Kosinus von %1") relations-de.txt 905-905
(format hi CosineFn "%1 kaa kosaaina") relations-hindi.txt 102-102
(format ro CosineFn "cosine%t{cosinusul} lui %1") relations-ro.kif 441-441
(format sv CosineFn "cosinus av %1") relations-sv.txt 469-469
(format tg CosineFn "ang cosine ng %1") relations-cb.txt 95-95
(termFormat ChineseLanguage CosineFn "余弦") domainEnglishFormat.kif 17442-17442
(termFormat ChineseLanguage CosineFn "馀弦函数") chinese_format.kif 693-693
(termFormat ChineseTraditionalLanguage CosineFn "餘弦") domainEnglishFormat.kif 17441-17441
(termFormat EnglishLanguage CosineFn "cosine") domainEnglishFormat.kif 17440-17440
(termFormat tg CosineFn "tungkulin cosine") relations-tg.txt 139-139

consequent
-------------------------


(=>
    (instance ?DEGREE RealNumber)
    (equal
        (TangentFn ?DEGREE)
        (DivisionFn
            (SineFn ?DEGREE)
            (CosineFn ?DEGREE))))
Merge.kif 5240-5246

statement
-------------------------


(equal
    (ArcCosineFn
        (CosineFn ?X)) ?X)
Merge.kif 5266-5266 Der arcuskosinus von der Kosinus von RealNumber ist gleich ** RealNumber %n{nicht}


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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