Circle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Circle

Circle(circle)

arc, circle, circlet, disc, disk, limb, saucer, spiral

appearance as argument number 1

(documentation Circle ChineseLanguage "这是 Oval 的类别，以至构成 Circle 的所有 GeometricPoint 和单一的 GeometricPoint，称为 Circle 的中心是等距的。")	chinese_format.kif 2647-2648
(documentation Circle EnglishLanguage "A subAttribute of Oval such that all GeometricPoints that make up the Circle are equidistant from a single GeometricPoint, known as the center of the Circle.")	Merge.kif 7674-7676
(documentation Circle JapaneseLanguage "Oval のクラスは、 Circle を構成するすべてのGPが、 Circle の中心として知られている単一の GeometricPoint から等距離である。")	japanese_format.kif 1364-1365
(externalImage Circle "http://articulatesoftware.com/SUMOpictures/signs_symbol/ shapes/ circle.png")	pictureList.kif 346-346
(externalImage Circle "http://upload.wikimedia.org/wikipedia/commons/a/a0/ Circle_-_black_simple.svg")	pictureList.kif 67-67
(subAttribute Circle Oval)	Merge.kif 7672-7672	Circle is a subattribute of oval

appearance as argument number 2

(subAttribute DiskShaped Circle)	Mid-level-ontology.kif 27265-27265	Disk shaped is a subattribute of circle
(termFormat ChineseLanguage Circle "圈")	domainEnglishFormat.kif 14877-14877	Disk shaped is a subattribute of circle
(termFormat ChineseTraditionalLanguage Circle "圈")	domainEnglishFormat.kif 14876-14876	Disk shaped is a subattribute of circle
(termFormat EnglishLanguage Circle "circle")	domainEnglishFormat.kif 14875-14875	Disk shaped is a subattribute of circle

appearance as argument number 3

(domain CenterOfCircleFn 1 Circle)	Merge.kif 7693-7693	The number 1 argument of center of circle is an instance of circle
(domain DiameterFn 1 Circle)	Mid-level-ontology.kif 5586-5586	The number 1 argument of diameter is an instance of circle
(domain RadiusFn 1 Circle)	Mid-level-ontology.kif 5605-5605	The number 1 argument of radius is an instance of circle
(domain circumference 1 Circle)	Mid-level-ontology.kif 32833-32833	The number 1 argument of circumference is an instance of circle
(domain diameter 1 Circle)	Merge.kif 7726-7726	The number 1 argument of diameter is an instance of circle
(domain radius 1 Circle)	Merge.kif 7704-7704	The number 1 argument of radius is an instance of circle

antecedent

(=> (and (cylinderBore ?CY ?M) (instance ?CY HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI ?C) (equal ?C Circle)) (diameter ?C ?M))	Cars.kif 1541-1550	If the bore of a hole is a length measure and the hole is an instance of hole and the hole is cylinder and an object is a part of the hole and the object is an instance of region and the object is a circle and the circle is equal to circle, then the diameter of the circle is the length measure
(=> (and (equal ?CHORD ChordOfACircle) (pointOfFigure (CenterOfCircleFn ?C) ?CHORD) (equal ?C Circle)) (equal ?CHORD DiameterLine))	Mid-level-ontology.kif 5865-5871	If a geometric figure is equal to chord of a circle and the center of circle of a circle is a vertex of the geometric figure and the circle is equal to circle, then the geometric figure is equal to diameter line
(=> (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
(=> (and (equal ?S SecantLine) (pointOfFigure ?P1 ?S) (pointOfFigure ?P2 ?S) (not (equal ?P1 ?P2)) (equal ?C Circle) (pointOfFigure ?P1 ?C) (pointOfFigure ?P2 ?C)) (exists (?CHORD) (and (equal ?CHORD ChordOfACircle) (endPointsOfLine ?P1 ?P2 ?CHORD) (geometricPart ?CHORD ?S))))	Mid-level-ontology.kif 5886-5900	If a geometric figure is equal to secant line and a geometric point is a vertex of the geometric figure and another geometric point is a vertex of the geometric figure and the geometric point is not equal to the other geometric point and another geometric figure is equal to circle and the geometric point is a vertex of the other geometric figure and the other geometric point is a vertex of the other geometric figure, then there exists the other geometric figureHORD such that the other geometric figureHORD is equal to chord of a circle and the geometric point and the other geometric point are endPointsOfLine of the other geometric figureHORD and the geometric figure is a geometric part of the other geometric figureHORD
(=> (and (instance ?A CentralAngle) (angleOfFigure ?A ?C) (equal ?C Circle)) (angularMeasure ?A (MeasureFn 360 AngularDegree)))	Mid-level-ontology.kif 5788-5793	If a two dimensional angle is an instance of central angle and the two dimensional angle is the angle found in a geometric figure and the geometric figure is equal to circle, then 360 angular degree(s) is an angular measure of the two dimensional angle
(=> (equal ?C Circle) (exists (?P) (equal (CenterOfCircleFn ?C) ?P)))	Merge.kif 7683-7686	If a circle is equal to circle, then there exists a geometric point such that the center of circle of the circle is equal to the geometric point
(=> (equal ?C Circle) (exists (?R) (radius ?C ?R)))	Merge.kif 7678-7681	If a circle is equal to circle, then there exists a length measure such that the radius of the circle is the length measure

consequent

(=> (and (arcLength ?SEMI (MeasureFn ?L ?U)) (equal ?SEMI SemicircularArc)) (exists (?CIR ?C) (and (equal ?CIR Circle) (geometricPart ?SEMI ?CIR) (circumference ?CIR (MeasureFn ?C ?U)) (equal ?C (AdditionFn ?L ?L)))))	Mid-level-ontology.kif 5719-5729	If a real number an unit of measure(s) is the LengthMeasure of a circular arc and the circular arc is equal to semicircular arc, then there exist a circle and another real number such that the circle is equal to circle and the circle is a geometric part of the circular arc and circumference the circle and the other real number the unit of measure(s) and the other real number is equal to (the real number and the real number)
(=> (and (equal ?A CircularArc) (pointOfFigure ?P ?A)) (exists (?C ?P2) (and (geometricPart ?A ?C) (equal ?C Circle) (pointOfFigure ?P2 ?C) (equal ?P ?P2))))	Mid-level-ontology.kif 5677-5686	If a geometric figure is equal to circular arc and a geometric point is a vertex of the geometric figure, then there exist another geometric figure and the geometric point2 such that the other geometric figure is a geometric part of the geometric figure and the other geometric figure is equal to circle and the geometric point2 is a vertex of the other geometric figure and the geometric point is equal to the geometric point2
(=> (and (equal ?CHORD ChordOfACircle) (endPointsOfLine ?P1 ?P2 ?CHORD)) (exists (?C) (and (equal ?C Circle) (pointOfFigure ?P1 ?C) (pointOfFigure ?P2 ?C))))	Mid-level-ontology.kif 5850-5858	If a closed line segment is equal to chord of a circle and a geometric point and another geometric point are endPointsOfLine of the closed line segment, then there exists a geometric figure such that the geometric figure is equal to circle and the geometric point is a vertex of the geometric figure and the other geometric point is a vertex of the geometric figure
(=> (circumference ?C ?L) (equal ?C Circle))	Mid-level-ontology.kif 32849-32851	If circumference a circle and a length measure, then the circle is equal to circle
(=> (diameter ?CIRCLE ?LENGTH) (equal ?CIRCLE Circle))	Merge.kif 7739-7741	If the diameter of a circle is a length measure, then the circle is equal to circle
(=> (equal ?A CircularArc) (exists (?C) (and (equal ?C Circle) (geometricPart ?A ?C))))	Mid-level-ontology.kif 5668-5673	If a geometric figure is equal to circular arc, then there exists another geometric figure such that the other geometric figure is equal to circle and the other geometric figure is a geometric part of the geometric figure
(=> (equal ?D DiameterLine) (exists (?C) (and (equal ?C Circle) (lineMeasure ?D (DiameterFn ?C)))))	Mid-level-ontology.kif 5873-5879	If an one dimensional figure is equal to diameter line, then there exists a circle such that the circle is equal to circle and the diameter of the circle is a line measure of the one dimensional figure
(=> (equal ?L (DiameterFn ?C)) (equal ?C Circle))	Mid-level-ontology.kif 5596-5599	If a length measure is equal to the diameter of a circle, then the circle is equal to circle
(=> (equal ?L (RadiusFn ?C)) (equal ?C Circle))	Mid-level-ontology.kif 5615-5618	If a length measure is equal to the radius of a circle, then the circle is equal to circle
(=> (equal ?P (CenterOfCircleFn ?C)) (equal ?C Circle))	Merge.kif 7696-7699	If a geometric point is equal to the center of circle of a circle, then the circle is equal to circle
(=> (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
(=> (instance ?A CentralAngle) (exists (?L ?L2 ?C ?R) (and (equal ?L ClosedLineSegment) (sideOfFigure ?L ?A) (equal ?L2 ClosedLineSegment) (sideOfFigure ?L2 ?A) (equal ?C Circle) (geometricPart ?A ?C) (pointOfIntersection ?L ?L2 (CenterOfCircleFn ?C)) (lineMeasure ?L ?R) (lineMeasure ?L2 ?R) (radius ?C ?R))))	Mid-level-ontology.kif 5756-5770	If a geometric figure is an instance of central angle, then there exist an one dimensional figure, the one dimensional figure2,, , a circle and a length measure such that the one dimensional figure is equal to closed line segment and the size of the geometric figure is the one dimensional figure and the one dimensional figure2 is equal to closed line segment and the size of the geometric figure is the one dimensional figure2 and the circle is equal to circle and the circle is a geometric part of the geometric figure and the one dimensional figure is point of intersection the one dimensional figure2 for the center of circle of the circle and the length measure is a line measure of the one dimensional figure and the length measure is a line measure of the one dimensional figure2 and the radius of the circle is the length measure
(=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C ?CIR) (equal ?CIR Circle) (diameter ?CIR (MeasureFn 4.25 Inch)))))	Sports.kif 976-986	If a self connected object is an instance of golf hole, then there exists another self connected object such that the self connected object is cylinder and the top of the self connected object is the other self connected object and the other self connected object is an instance of region and the other self connected object is the other self connected objectIR and the other self connected objectIR is equal to circle and the diameter of the other self connected objectIR is 4.25 inch(s)
(=> (radius ?CIRCLE ?RADIUS) (equal ?CIRCLE Circle))	Merge.kif 7718-7720	If the radius of a circle is a length measure, then the circle is equal to circle

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