MajorArc - Sigma Knowledge base Browser

appearance as argument number 1

(subAttribute MajorArc CircularArc)	Mid-level-ontology.kif 5950-5950	Major arc is a subattribute of circular arc
(documentation MajorArc EnglishLanguage "The CentralAngle between the two GeometricPoint of a MajorArc is greater than 180 degrees.[Wikipedia]")	Mid-level-ontology.kif 5951-5952	Major arc is a subattribute of circular arc

appearance as argument number 2

(relatedInternalConcept MinorArc MajorArc)	Mid-level-ontology.kif 5937-5937	Minor arc is internally related to Major arc
(termFormat EnglishLanguage MajorArc "Major arc")	Mid-level-ontology.kif 5953-5953	Minor arc is internally related to Major arc

antecedent

(=>
    (and
        (equal ?MAJ MajorArc)
        (sideOfFigure ?MAJ ?S)
        (equal ?S CircleSector)
        (angleOfFigure ?A ?S)
        (angularMeasure ?A
            (MeasureFn ?X AngularDegree)))
    (and
        (greaterThan ?X 180)
        (lessThan ?X 360)))

If equal X and Major arc, the size of Y is X, equal Y and circle sector, Z is the angle found in Y, and W angular degree(s) is an angular measure of Z, then W is greater than 180 and W is less than 360