Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  CircleSector

Sigma KEE - CircleSector
CircleSector(circle sector)
curved, curving, rounded, sector

appearance as argument number 1
-------------------------


(documentation CircleSector EnglishLanguage "A slice of a Circle, i.e. any ClosedTwoDimensionalFigure which consists of two Radii and the arc of the Circle that they bound.") Mid-level-ontology.kif 5602-5604
(externalImage CircleSector "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Circle_arc.svg") pictureList.kif 1699-1699
(instance CircleSector ClosedTwoDimensionalFigure) Mid-level-ontology.kif 5601-5601 Circle sector is an instance of closed two dimensional figure

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage CircleSector "圈子部门") domainEnglishFormat.kif 14877-14877
(termFormat ChineseTraditionalLanguage CircleSector "圈子部門") domainEnglishFormat.kif 14876-14876
(termFormat EnglishLanguage CircleSector "circle sector") domainEnglishFormat.kif 14875-14875

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)))
Mid-level-ontology.kif 5798-5807
(=>
    (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)))
Mid-level-ontology.kif 5782-5791
(=>
    (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 5753-5767
(=>
    (and
        (equal ?S CircleSector)
        (equal ?C Circle)
        (geometricPart ?S ?C)
        (equal ?L ClosedLineSegment)
        (sideOfFigure ?L ?S))
    (lineMeasure ?L
        (RadiusFn ?C)))
Mid-level-ontology.kif 5626-5633
(=>
    (equal ?S CircleSector)
    (exists (?A ?AC)
        (and
            (equal ?A CentralAngle)
            (angleOfFigure ?A ?S)
            (equal ?AC CircularArc)
            (sideOfFigure ?AC ?S))))
Mid-level-ontology.kif 5617-5624
(=>
    (equal ?S CircleSector)
    (exists (?C ?A)
        (and
            (equal ?C Circle)
            (geometricPart ?S ?C)
            (equal ?A CircularArc)
            (geometricPart ?A ?C)
            (sideOfFigure ?A ?S)
            (sideOfIntersection ?S ?C ?A))))
Mid-level-ontology.kif 5606-5615

statement
-------------------------


(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE CircleSector))) 3)
Mid-level-ontology.kif 5635-5638 equal the number of instances in the class described by a symbolic string and 3


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners