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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Radian

appearance as argument number 1

(documentation Radian ChineseLanguage "这是国际单位制量度平面角度的单位,符号:rad。它是在圆上所切出 的圆弧长度等於半徑時的圓心角;另一个定义是:圆周的两个半径之间的平面角,在圆周上切除长度等于半径的弧。 Radian = m/ m = 1。") chinese_format.kif 2518-2520
(documentation Radian EnglishLanguage "SI plane angle measure. Symbol: rad. It is the angle of a circle subtended by an arc equal in length to the circle's radius. Another definition is: the plane angle between two radii of a circle which cut off on the circumference an arc equal in length to the radius. Radian = m/ m = 1.") Merge.kif 6482-6486
(instance Radian SystemeInternationalUnit) Merge.kif 6480-6480 instance Radian and SystemeInternationalUnit
(instance Radian UnitOfAngularMeasure) Merge.kif 6479-6479 instance Radian and UnitOfAngularMeasure

appearance as argument number 2

(termFormat ChineseLanguage Radian "弧度") domainEnglishFormat.kif 48332-48332
(termFormat ChineseTraditionalLanguage Radian "弧度") domainEnglishFormat.kif 48331-48331
(termFormat EnglishLanguage Radian "radian") domainEnglishFormat.kif 48330-48330


    (MeasureFn ?NUMBER AngularDegree)
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))
Merge.kif 7030-7032 equal MeasureFn RealNumber and AngularDegree and MeasureFn MultiplicationFn RealNumber and DivisionFn Pi and 180.0 and Radian

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