TreeView 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 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	If equal an one dimensional figure and Major arc and the size of a geometric figure is the one dimensional figure and equal the geometric figure and 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 5782-5791	If equal an one dimensional figure and minor arc and the size of a geometric figure is the one dimensional figure and equal the geometric figure and 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 5753-5767	If equal a two dimensional figure and circle sector and equal a two dimensional angle and central angle and the two dimensional angle is the angle found in the two dimensional figure and equal an one dimensional figure and 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 equal the two dimensional angleC and 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 5626-5633	If equal a geometric figure and circle sector and equal a circle and circle and the circle is a geometric part of the geometric figure and equal an one dimensional figure and 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 5617-5624	If equal a geometric figure and circle sector, then there exist a two dimensional angle and the two dimensional angleC such that equal the two dimensional angle and central angle and the two dimensional angle is the angle found in the geometric figure and equal the two dimensional angleC and 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 5606-5615	If equal a two dimensional figure and circle sector, then there exist another two dimensional figure and an one dimensional figure such that equal the other two dimensional figure and circle and the other two dimensional figure is a geometric part of the two dimensional figure and equal the one dimensional figure and 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 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

KB Term:			Term intersection

English Word: