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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SineFn
SineFn

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


(documentation SineFn ChineseLanguage "(SineFn ?DEGREE)是 PlaneAngleMeasure ?DEGREE 的正弦。在一个直角三角形, ?DEGREE 的正弦是?DEGREE 对边和斜边的比率。") Merge.kif 5324-5325
(documentation SineFn EnglishLanguage "(SineFn ?DEGREE) is the sine of the PlaneAngleMeasure ?DEGREE. The sine of ?DEGREE is the ratio of the side opposite ?DEGREE to the hypotenuse in a right-angled triangle.") Merge.kif 5321-5323
(domain SineFn 1 PlaneAngleMeasure) Merge.kif 5319-5319
(instance SineFn TotalValuedRelation) Merge.kif 5318-5318
(instance SineFn UnaryFunction) Merge.kif 5317-5317
(lexicon SineFn LexNoun "sin") engineering.kif 137-137
(lexicon SineFn LexNoun "sinus") engineering.kif 136-136
(range SineFn RealNumber) Merge.kif 5320-5320

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


(format ChineseLanguage SineFn "%1 的正弦") chinese_format.kif 728-728
(format EnglishLanguage SineFn "the sine of %1") english_format.kif 448-448
(format FrenchLanguage SineFn "le sinus de %1") french_format.kif 437-437
(format ItalianLanguage SineFn "il seno di %1") relations-it.txt 264-264
(format PortugueseLanguage SineFn "o seno de %1") portuguese_format.kif 389-389
(format de SineFn "der Sinus von %1") relations-de.txt 941-941
(format hi SineFn "%1 kaa saaina") relations-hindi.txt 301-301
(termFormat ChineseLanguage SineFn "正弦函数") chinese_format.kif 729-729
(termFormat EnglishLanguage SineFn "sine") domainEnglishFormat.kif 9279-9279

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


(=>
    (instance ?DEGREE PlaneAngleMeasure)
    (equal
        (TangentFn ?DEGREE)
        (DivisionFn
            (SineFn ?DEGREE)
            (CosineFn ?DEGREE))))
Merge.kif 5349-5351


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners