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 7649-7651
(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 7647-7647	Circle is a subattribute of oval

appearance as argument number 2

(subAttribute DiskShaped Circle)	Mid-level-ontology.kif 26703-26703	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 7668-7668	The number 1 argument of center of circle is an instance of circle
(domain DiameterFn 1 Circle)	Mid-level-ontology.kif 5179-5179	The number 1 argument of diameter is an instance of circle
(domain RadiusFn 1 Circle)	Mid-level-ontology.kif 5198-5198	The number 1 argument of radius is an instance of circle
(domain circumference 1 Circle)	Mid-level-ontology.kif 32252-32252	The number 1 argument of circumference is an instance of circle
(domain diameter 1 Circle)	Merge.kif 7701-7701	The number 1 argument of diameter is an instance of circle
(domain radius 1 Circle)	Merge.kif 7679-7679	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 5458-5464	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 5238-5245	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 5479-5493	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 5381-5386	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 7658-7661	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 7653-7656	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 5312-5322	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 5270-5279	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 5443-5451	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 32268-32270	If circumference a circle and a length measure, then the circle is equal to circle
(=> (diameter ?CIRCLE ?LENGTH) (equal ?CIRCLE Circle))	Merge.kif 7714-7716	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 5261-5266	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 5466-5472	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 5189-5192	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 5208-5211	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 7671-7674	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 5218-5227	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 5349-5363	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 964-974	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 7693-7695	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