| Circle(circle)
|
| appearance as argument number 1 |
|
| (subAttribute Circle Oval) | Merge.kif 7711-7711 | Circle is a subattribute of oval |
| (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 7713-7715 | Circle is a subattribute of oval |
| (externalImage Circle "http://upload.wikimedia.org/wikipedia/commons/a/a0/ Circle_-_black_simple.svg") | pictureList.kif 67-67 | Circle is a subattribute of oval |
| (externalImage Circle "http://articulatesoftware.com/SUMOpictures/signs_symbol/ shapes/ circle.png") | pictureList.kif 346-346 | Circle is a subattribute of oval |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain CenterOfCircleFn 1 Circle) | Merge.kif 7732-7732 | The number 1 argument of center of circle is an instance of circle |
| (domain radius 1 Circle) | Merge.kif 7743-7743 | The number 1 argument of radius is an instance of circle |
| (domain diameter 1 Circle) | Merge.kif 7765-7765 | The number 1 argument of diameter is an instance of circle |
| (domain DiameterFn 1 Circle) | Mid-level-ontology.kif 5584-5584 | The number 1 argument of diameter is an instance of circle |
| (domain RadiusFn 1 Circle) | Mid-level-ontology.kif 5603-5603 | The number 1 argument of radius is an instance of circle |
| (domain circumference 1 Circle) | Mid-level-ontology.kif 33855-33855 | The number 1 argument of circumference is an instance of circle |
| antecedent |
|
|
| consequent |
|
|
| (=> (equal ?P (CenterOfCircleFn ?C)) (equal ?C Circle)) |
Merge.kif 7735-7738 | If equal X and the center of circle of Y, then equal Y and circle |
| (=> (radius ?CIRCLE ?RADIUS) (equal ?CIRCLE Circle)) |
Merge.kif 7757-7759 | If the radius of X is Y, then equal X and circle |
| (=> (diameter ?CIRCLE ?LENGTH) (equal ?CIRCLE Circle)) |
Merge.kif 7778-7780 | If the diameter of X is Y, then equal X and circle |
| (=> (equal ?L (DiameterFn ?C)) (equal ?C Circle)) |
Mid-level-ontology.kif 5594-5597 | If equal X and the diameter of Y, then equal Y and circle |
| (=> (equal ?L (RadiusFn ?C)) (equal ?C Circle)) |
Mid-level-ontology.kif 5613-5616 | If equal X and the radius of Y, then equal Y 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 5623-5632 | If equal X and circle sector, then All of the following hold: (1) there exist Y (2) Z such that equal Y (3) circle (4) Y is a geometric part of X (5) equal Z (6) circular arc (7) Y is a geometric part of Z (8) the size of X is Z (9) Z is the intersection X (10) Y |
| (=> (equal ?A CircularArc) (exists (?C) (and (equal ?C Circle) (geometricPart ?A ?C)))) |
Mid-level-ontology.kif 5666-5671 | If equal X and circular arc, then there exists Y such that equal Y, circle, and Y is a geometric part of X |
| (=> (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 5675-5684 | If equal X and circular arc and Y is a vertex of X, then All of the following hold: (1) there exist Z (2) W such that Z is a geometric part of X (3) equal Z (4) circle (5) W is a vertex of Z (6) equal Y (7) W |
| (=> (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 5717-5727 | If X Y(s) is the LengthMeasure of Z and equal Z and semicircular arc, then there exist W and V such that equal W and circle and W is a geometric part of Z and circumference W and V Y(s) and equal V and (X and X) |
| (=> (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 5754-5768 | If X is an instance of central angle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that equal Y (3) closed line segment (4) the size of X is Y (5) equal Z (6) closed line segment (7) the size of X is Z (8) equal W (9) circle (10) W is a geometric part of X (11) Y is point of intersection Z for the center of circle of W (12) V is a line measure of Y (13) V is a line measure of Z (14) the radius of W is V |
| (=> (and (equal ?CHORD ChordOfACircle) (endPointsOfLine ?P1 ?P2 ?CHORD)) (exists (?C) (and (equal ?C Circle) (pointOfFigure ?P1 ?C) (pointOfFigure ?P2 ?C)))) |
Mid-level-ontology.kif 5848-5856 | If equal X and chord of a circle and Y and Z are endPointsOfLine of X, then there exists W such that equal W, circle, Y is a vertex of W, and Z is a vertex of W |
| (=> (equal ?D DiameterLine) (exists (?C) (and (equal ?C Circle) (lineMeasure ?D (DiameterFn ?C))))) |
Mid-level-ontology.kif 5871-5877 | If equal X and diameter line, then there exists Y such that equal Y, circle, and the diameter of Y is a line measure of X |
| (=> (circumference ?C ?L) (equal ?C Circle)) |
Mid-level-ontology.kif 33871-33873 | If circumference X and Y, then equal X and circle |
| (=> (instance ?HOLE GolfHole) (exists (?C ?CIR) (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 X is an instance of golf hole, then there exist Y and Z such that X is cylinder and the top of X is Y and Y is an instance of region and Y is Z and equal Z and circle and the diameter of Z is 4.25 inch(s) |
|
|
|