lineMeasure - Sigma Knowledge base Browser

antecedent

(=>
    (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

(=> (sideOfFigure ?SIDE Square) (lineMeasure ?SIDE ?LENGTH))	Mid-level-ontology.kif 5706-5708	If the size of square is X, then Y is a line measure of X
(=> (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
(=> (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))))	Mid-level-ontology.kif 5894-5908	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
(=> (equal ?D DiameterLine) (exists (?C) (and (equal ?C Circle) (lineMeasure ?D (DiameterFn ?C)))))	Mid-level-ontology.kif 6011-6017	If equal X and diameter line, then there exists Y such that equal Y, circle, and the diameter of Y is a line measure of X

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners

(instance lineMeasure BinaryPredicate)	Merge.kif 18304-18304	line measure is an instance of binary predicate
(instance lineMeasure TotalValuedRelation)	Merge.kif 18305-18305	line measure is an instance of total valued relation
(domain lineMeasure 1 OneDimensionalFigure)	Merge.kif 18306-18306	The number 1 argument of line measure is an instance of one dimensional figure
(domain lineMeasure 2 LengthMeasure)	Merge.kif 18307-18307	The number 2 argument of line measure is an instance of length measure
(documentation lineMeasure EnglishLanguage "(lineMeasure ?LINE ?MEASURE) means that the straight line ?LINE has the LengthMeasure of ?MEASURE.")	Merge.kif 18308-18309	The number 2 argument of line measure is an instance of length measure

(subrelation arcLength lineMeasure)	Mid-level-ontology.kif 5826-5826	arc length is a subrelation of line measure
(relatedInternalConcept arcLength lineMeasure)	Mid-level-ontology.kif 5835-5835	arc length is internally related to line measure
(format EnglishLanguage lineMeasure "%2 is %n a line measure of %1")	domainEnglishFormat.kif 1541-1541	arc length is internally related to line measure
(format ChineseTraditionalLanguage lineMeasure "%2 %n 是 %1 的 line 量测")	domainEnglishFormat.kif 1542-1542	arc length is internally related to line measure
(format ChineseLanguage lineMeasure "%2 %n 是 %1 的 line 量测")	domainEnglishFormat.kif 1543-1543	arc length is internally related to line measure
(termFormat EnglishLanguage lineMeasure "line measure")	domainEnglishFormat.kif 34519-34519	arc length is internally related to line measure
(termFormat ChineseTraditionalLanguage lineMeasure "線測量")	domainEnglishFormat.kif 34520-34520	arc length is internally related to line measure
(termFormat ChineseLanguage lineMeasure "线测量")	domainEnglishFormat.kif 34521-34521	arc length is internally related to line measure