MinorArc - Sigma Knowledge base Browser

appearance as argument number 1

(subAttribute MinorArc CircularArc)	Mid-level-ontology.kif 5933-5933	Minor arc is a subattribute of circular arc
(documentation MinorArc EnglishLanguage "The CentralAngle between the two GeometricPoint of a MinorArc is less than 180 degrees.[Wikipedia]")	Mid-level-ontology.kif 5934-5935	Minor arc is a subattribute of circular arc
(relatedInternalConcept MinorArc MajorArc)	Mid-level-ontology.kif 5937-5937	Minor arc is internally related to Major arc

appearance as argument number 2

(termFormat EnglishLanguage MinorArc "minor arc")

antecedent

(=>
    (and
        (equal ?MIN MinorArc)
        (sideOfFigure ?MIN ?S)
        (equal ?S CircleSector)
        (angleOfFigure ?A ?S)
        (angularMeasure ?A
            (MeasureFn ?X AngularDegree)))
    (and
        (greaterThan ?X 0)
        (lessThan ?X 180)))

If equal X and minor 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 0 and W is less than 180

consequent

(=>
    (and
        (sideOfFigure ?A ?S)
        (equal ?S CircularSegment))
    (equal ?A MinorArc))