Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Circle(circle)
|  | arc, circle, circlet, disc, disk, limb, saucer, spiral |
| appearance as argument number 1 |
|
|
| (subAttribute Circle Oval) | Merge.kif 7780-7780 | 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 7782-7784 | 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 diameter 1 Circle) | Merge.kif 7836-7836 | The number 1 argument of diameter is an instance of circle |
| (domain DiameterFn 1 Circle) | Mid-level-ontology.kif 5714-5714 | The number 1 argument of diameter is an instance of circle |
| (domain RadiusFn 1 Circle) | Mid-level-ontology.kif 5733-5733 | The number 1 argument of radius is an instance of circle |
| (domain circumference 1 Circle) | Mid-level-ontology.kif 33736-33736 | The number 1 argument of circumference is an instance of circle |
| antecedent |
|
|
| consequent |
|
|
| (=> (equal ?P (CenterOfCircleFn ?C)) (attribute ?C Circle)) |
Merge.kif 7804-7807 | If equal X and the center of circle of Y, then circle is an attribute of Y |
| (=> (radius ?CIRCLE ?RADIUS) (attribute ?CIRCLE Circle)) |
Merge.kif 7828-7830 | If the radius of X is Y, then circle is an attribute of X |
| (=> (diameter ?CIRCLE ?LENGTH) (attribute ?CIRCLE Circle)) |
Merge.kif 7849-7851 | If the diameter of X is Y, then circle is an attribute of X |
| (=> (equal ?L (DiameterFn ?C)) (equal ?C Circle)) |
Mid-level-ontology.kif 5724-5727 | If equal X and the diameter of Y, then equal Y and circle |
| (=> (equal ?L (RadiusFn ?C)) (equal ?C Circle)) |
Mid-level-ontology.kif 5743-5746 | 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 5763-5772 | 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 5806-5811 | 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 5815-5824 | 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 5857-5867 | 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 5894-5908 | 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 5988-5996 | 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 6011-6017 | 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 33752-33754 | 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 990-1000 | 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) |
|