ClosedLineSegment - Sigma Knowledge base Browser

appearance as argument number 1

(subAttribute ClosedLineSegment StraightLine)	Mid-level-ontology.kif 5976-5976	Closed line segment is a subattribute of straight line
(documentation ClosedLineSegment EnglishLanguage "A ClosedLineSegment is part of a straight line that is bounded by two distinct endpoints, and contains every point on the line that is between its points.[wikepedia]")	Mid-level-ontology.kif 5977-5979	Closed line segment is a subattribute of straight line

appearance as argument number 2

(termFormat EnglishLanguage ClosedLineSegment "closed line segment")	Mid-level-ontology.kif 5980-5980
(subAttribute ChordOfACircle ClosedLineSegment)	Mid-level-ontology.kif 5983-5983	Chord of a circle is a subattribute of closed line segment

appearance as argument number 3

(domain endPointsOfLine 3 ClosedLineSegment)

antecedent

(=> (and (equal ?S CircleSector) (equal ?C Circle) (geometricPart ?S ?C) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?S)) (lineMeasure ?L (RadiusFn ?C)))	Mid-level-ontology.kif 5783-5790	If equal X and circle sector, equal Y and circle, Y is a geometric part of X, equal Z and closed line segment, and the size of X is Z, then the radius of Y is a line measure of Z
(=> (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)))))	Mid-level-ontology.kif 5910-5924	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

consequent

(=>
    (instance ?A CentralAngle)
    (exists (?L ?L2 ?C ?R)
        (and
            (equal ?L ClosedLineSegment)
            (sideOfFigure ?L ?A)
            (equal ?L2 ClosedLineSegment)
            (sideOfFigure ?L2 ?A)
            (equal ?C Circle)
            (geometricPart ?A ?C)
            (pointOfIntersection ?L ?L2
                (CenterOfCircleFn ?C))
            (lineMeasure ?L ?R)
            (lineMeasure ?L2 ?R)
            (radius ?C ?R))))

If X is an instance of central angle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that equal Y (3) closed line segment (4) the size of X is Y (5) equal Z (6) closed line segment (7) the size of X is Z (8) equal W (9) circle (10) W is a geometric part of X (11) Y is point of intersection Z for the center of circle of W (12) V is a line measure of Y (13) V is a line measure of Z (14) the radius of W is V