TreeView Knowledge Base Browser

appearance as argument number 1

(instance Radian UnitOfAngularMeasure)	Merge.kif 6929-6929	Radian is an instance of unit of angular measure
(instance Radian SystemeInternationalUnit)	Merge.kif 6930-6930	Radian is an instance of systeme international unit
(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 6932-6936	Radian is an instance of systeme international unit

appearance as argument number 2

(termFormat EnglishLanguage Radian "radian")	domainEnglishFormat.kif 48427-48427
(termFormat ChineseTraditionalLanguage Radian "弧度")	domainEnglishFormat.kif 48428-48428
(termFormat ChineseLanguage Radian "弧度")	domainEnglishFormat.kif 48429-48429

consequent

(=>
    (and
        (equal ?S CircleSector)
        (equal ?A CentralAngle)
        (angleOfFigure ?A ?S)
        (equal ?L ClosedLineSegment)
        (sideOfFigure ?L ?A)
        (sideOfIntersection ?A ?S ?L)
        (lineMeasure ?L ?R))
    (exists (?AC)
        (and
            (equal ?AC CircularArc)
            (sideOfFigure ?AC ?S)
            (arcLength ?AC ?R)
            (angularMeasure ?A
                (MeasureFn 1 Radian)))))

If All of the following hold: (1) equal X and circle sector (2) equal Y and central angle (3) Y is the angle found in X (4) equal Z and closed line segment (5) the size of Y is Z (6) Z is the intersection Y and X (7) W is a line measure of Z, then there exists V such that equal V and circular arc and the size of X is V and W is the LengthMeasure of V and 1 radian(s) is an angular measure of Y

statement

(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian))	Merge.kif 7505-7507	equal X angular degree(s) and X and pi and 180.0 radian(s)
(equal (MeasureFn ?X Milliradian) (MeasureFn ?X (MilliFn Radian)))	MilitaryDevices.kif 329-332	equal X milliradian(s) and X one thousandth of a radian(s)