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 7689-7691
(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 7687-7687	Circle is a subattribute of oval

appearance as argument number 2

(subAttribute DiskShaped Circle)	Mid-level-ontology.kif 27246-27246	Disk shaped is a subattribute of circle
(termFormat ChineseLanguage Circle "圈")	domainEnglishFormat.kif 14871-14871	Disk shaped is a subattribute of circle
(termFormat ChineseTraditionalLanguage Circle "圈")	domainEnglishFormat.kif 14870-14870	Disk shaped is a subattribute of circle
(termFormat EnglishLanguage Circle "circle")	domainEnglishFormat.kif 14869-14869	Disk shaped is a subattribute of circle

appearance as argument number 3

(domain CenterOfCircleFn 1 Circle)	Merge.kif 7708-7708	The number 1 argument of center of circle is an instance of circle
(domain DiameterFn 1 Circle)	Mid-level-ontology.kif 5567-5567	The number 1 argument of diameter is an instance of circle
(domain RadiusFn 1 Circle)	Mid-level-ontology.kif 5586-5586	The number 1 argument of radius is an instance of circle
(domain circumference 1 Circle)	Mid-level-ontology.kif 33074-33074	The number 1 argument of circumference is an instance of circle
(domain diameter 1 Circle)	Merge.kif 7741-7741	The number 1 argument of diameter is an instance of circle
(domain radius 1 Circle)	Merge.kif 7719-7719	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 equal the circle and 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 5846-5852	If equal a geometric figure and chord of a circle and the center of circle of a circle is a vertex of the geometric figure and equal the circle and circle, then equal the geometric figure and 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 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
(=> (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 5867-5881	If equal a geometric figure and 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 equal the geometric point and the other geometric point and equal another geometric figure and 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 equal the other geometric figureHORD and 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 5769-5774	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 equal the geometric figure and 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 7698-7701	If equal a circle and circle, then there exists a geometric point such that equal the center of circle of the circle and the geometric point
(=> (equal ?C Circle) (exists (?R) (radius ?C ?R)))	Merge.kif 7693-7696	If equal a circle and 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 5700-5710	If a real number an unit of measure(s) is the LengthMeasure of a circular arc and equal the circular arc and semicircular arc, then there exist a circle and another real number such that equal the circle and 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 equal the other real number and (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 5658-5667	If equal a geometric figure and 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 equal the other geometric figure and circle and the geometric point2 is a vertex of the other geometric figure and equal the geometric point and 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 5831-5839	If equal a closed line segment and 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 equal the geometric figure and 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 33090-33092	If circumference a circle and a length measure, then equal the circle and circle
(=> (diameter ?CIRCLE ?LENGTH) (equal ?CIRCLE Circle))	Merge.kif 7754-7756	If the diameter of a circle is a length measure, then equal the circle and circle
(=> (equal ?A CircularArc) (exists (?C) (and (equal ?C Circle) (geometricPart ?A ?C))))	Mid-level-ontology.kif 5649-5654	If equal a geometric figure and circular arc, then there exists another geometric figure such that equal the other geometric figure and 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 5854-5860	If equal an one dimensional figure and diameter line, then there exists a circle such that equal the circle and 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 5577-5580	If equal a length measure and the diameter of a circle, then equal the circle and circle
(=> (equal ?L (RadiusFn ?C)) (equal ?C Circle))	Mid-level-ontology.kif 5596-5599	If equal a length measure and the radius of a circle, then equal the circle and circle
(=> (equal ?P (CenterOfCircleFn ?C)) (equal ?C Circle))	Merge.kif 7711-7714	If equal a geometric point and the center of circle of a circle, then equal the circle and 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 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
(=> (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 5737-5751	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 equal the one dimensional figure and closed line segment and the size of the geometric figure is the one dimensional figure and equal the one dimensional figure2 and closed line segment and the size of the geometric figure is the one dimensional figure2 and equal the circle and 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 equal the other self connected objectIR and circle and the diameter of the other self connected objectIR is 4.25 inch(s)
(=> (radius ?CIRCLE ?RADIUS) (equal ?CIRCLE Circle))	Merge.kif 7733-7735	If the radius of a circle is a length measure, then equal the circle and 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