arcLength - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage arcLength "arc length")	Mid-level-ontology.kif 5830-5830
(format EnglishLanguage arcLength "%2 is the LengthMeasure of %1")	Mid-level-ontology.kif 5831-5831

antecedent

(=> (and (arcLength ?A ?L) (equal ?A CircularArc)) (exists (?P ?P2) (and (pointOfFigure ?P ?A) (pointOfFigure ?P2 ?A) (not (equal ?P ?P2)) (geometricDistance ?P ?P2 ?L))))	Mid-level-ontology.kif 5841-5851	If X is the LengthMeasure of Y and equal Y and circular arc, then there exist Z, W such that Z is a vertex of Y, W is a vertex of Y, equal Z, W, and Z is geometric distance W for X
(=> (and (arcLength ?SEMI (MeasureFn ?L ?U)) (equal ?SEMI SemicircularArc)) (exists (?CIR ?C) (and (equal ?CIR Circle) (geometricPart ?SEMI ?CIR) (circumference ?CIR (MeasureFn ?C ?U)) (equal ?C (AdditionFn ?L ?L)))))	Mid-level-ontology.kif 5857-5867	If X Y(s) is the LengthMeasure of Z and equal Z and semicircular arc, then there exist W and V such that equal W and circle and W is a geometric part of Z and circumference W and V Y(s) and equal V and (X and X)

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

(subrelation arcLength lineMeasure)	Mid-level-ontology.kif 5826-5826	arc length is a subrelation of line measure
(instance arcLength BinaryPredicate)	Mid-level-ontology.kif 5827-5827	arc length is an instance of binary predicate
(documentation arcLength EnglishLanguage "arcLength is the geometricDistance between two GeometricPoints of a CircularArc.[Wikipedia]")	Mid-level-ontology.kif 5828-5829	arc length is an instance of binary predicate
(domain arcLength 1 CircularArc)	Mid-level-ontology.kif 5832-5832	The number 1 argument of arc length is an instance of circular arc
(domain arcLength 2 LengthMeasure)	Mid-level-ontology.kif 5833-5833	The number 2 argument of arc length is an instance of length measure
(relatedInternalConcept arcLength geometricDistance)	Mid-level-ontology.kif 5834-5834	arc length is internally related to geometric distance
(relatedInternalConcept arcLength lineMeasure)	Mid-level-ontology.kif 5835-5835	arc length is internally related to line measure
(relatedInternalConcept arcLength radius)	Mid-level-ontology.kif 5836-5836	arc length is internally related to radius
(relatedInternalConcept arcLength circumference)	Mid-level-ontology.kif 5837-5837	arc length is internally related to circumference
(relatedInternalConcept arcLength diameter)	Mid-level-ontology.kif 5838-5838	arc length is internally related to diameter
(relatedInternalConcept arcLength angularMeasure)	Mid-level-ontology.kif 5839-5839	arc length is internally related to angular measure