CircleSector - Sigma Knowledge base Browser

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 5621-5623
(externalImage CircleSector "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Circle_arc.svg")	pictureList.kif 1699-1699
(instance CircleSector ClosedTwoDimensionalFigure)	Mid-level-ontology.kif 5620-5620	Circle sector is an instance of closed two dimensional figure

appearance as argument number 2

(termFormat ChineseLanguage CircleSector "圈子部门")	domainEnglishFormat.kif 14883-14883
(termFormat ChineseTraditionalLanguage CircleSector "圈子部門")	domainEnglishFormat.kif 14882-14882
(termFormat EnglishLanguage CircleSector "circle sector")	domainEnglishFormat.kif 14881-14881

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 5817-5826	If an one dimensional figure is equal to Major arc and the size of a geometric figure is the one dimensional figure and the geometric figure is equal to circle sector and a two dimensional angle is the angle found in the geometric figure and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is greater than 180 and the real number is less than 360
(=> (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 5801-5810	If an one dimensional figure is equal to minor arc and the size of a geometric figure is the one dimensional figure and the geometric figure is equal to circle sector and a two dimensional angle is the angle found in the geometric figure and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is greater than 0 and the real number is less than 180
(=> (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 5772-5786	If a two dimensional figure is equal to circle sector and a two dimensional angle is equal to central angle and the two dimensional angle is the angle found in the two dimensional figure and an one dimensional figure is equal to closed line segment and the size of the two dimensional angle is the one dimensional figure and the one dimensional figure is the intersection the two dimensional angle and the two dimensional figure and a length measure is a line measure of the one dimensional figure, then there exists the two dimensional angleC such that the two dimensional angleC is equal to circular arc and the size of the two dimensional figure is the two dimensional angleC and the length measure is the LengthMeasure of the two dimensional angleC and 1 radian(s) is an angular measure of the two dimensional angle
(=> (and (equal ?S CircleSector) (equal ?C Circle) (geometricPart ?S ?C) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?S)) (lineMeasure ?L (RadiusFn ?C)))	Mid-level-ontology.kif 5645-5652	If a geometric figure is equal to circle sector and a circle is equal to circle and the circle is a geometric part of the geometric figure and an one dimensional figure is equal to closed line segment and the size of the geometric figure is the one dimensional figure, then the radius of the circle is a line measure of the one dimensional figure
(=> (equal ?S CircleSector) (exists (?A ?AC) (and (equal ?A CentralAngle) (angleOfFigure ?A ?S) (equal ?AC CircularArc) (sideOfFigure ?AC ?S))))	Mid-level-ontology.kif 5636-5643	If a geometric figure is equal to circle sector, then there exist a two dimensional angle and the two dimensional angleC such that the two dimensional angle is equal to central angle and the two dimensional angle is the angle found in the geometric figure and the two dimensional angleC is equal to circular arc and the size of the geometric figure is the two dimensional angleC
(=> (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 5625-5634	If a two dimensional figure is equal to circle sector, then there exist another two dimensional figure and an one dimensional figure such that the other two dimensional figure is equal to circle and the other two dimensional figure is a geometric part of the two dimensional figure and the one dimensional figure is equal to circular arc and the other two dimensional figure is a geometric part of the one dimensional figure and the size of the two dimensional figure is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the other two dimensional figure

statement

(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE CircleSector))) 3)

Mid-level-ontology.kif 5654-5657

The number of instances in the class described by a symbolic string is equal to 3

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: