Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CenterOfCircleFn |
| appearance as argument number 1 |
|
| (documentation CenterOfCircleFn EnglishLanguage "(CenterOfCircleFn ?CIRCLE) denotes the GeometricPoint that is the center of the Circle ?CIRCLE.") | Merge.kif 7796-7797 | |
| (instance CenterOfCircleFn UnaryFunction) | Merge.kif 7799-7799 | Center of circle is an instance of unary function |
| (instance CenterOfCircleFn TotalValuedRelation) | Merge.kif 7800-7800 | Center of circle is an instance of total valued relation |
| (domain CenterOfCircleFn 1 ClosedTwoDimensionalFigure) | Merge.kif 7801-7801 | The number 1 argument of center of circle is an instance of closed two dimensional figure |
| (range CenterOfCircleFn GeometricPoint) | Merge.kif 7802-7802 | The range of center of circle is an instance of geometric point |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| (=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R)) |
Mid-level-ontology.kif 5736-5741 | If equal the center of circle of X and Y, Z is a vertex of X, and Z is geometric distance Y for W, then equal the radius of X and W |
| (=> (and (equal ?CHORD ChordOfACircle) (pointOfFigure (CenterOfCircleFn ?C) ?CHORD) (equal ?C Circle)) (equal ?CHORD DiameterLine)) |
Mid-level-ontology.kif 6003-6009 | If equal X and chord of a circle, the center of circle of Y is a vertex of X, and equal Y and circle, then equal X and diameter line |
| consequent |
|
|
| (=> (attribute ?C Circle) (exists (?P) (equal (CenterOfCircleFn ?C) ?P))) |
Merge.kif 7791-7794 | If circle is an attribute of X, then there exists Y such that equal the center of circle of X and Y |
| (=> (and (radius ?CIRCLE ?RADIUS) (pointOfFigure ?POINT ?CIRCLE)) (exists (?CENTER) (and (equal ?CENTER (CenterOfCircleFn ?CIRCLE)) (geometricDistance ?CENTER ?POINT ?RADIUS)))) |
Merge.kif 7818-7826 | If the radius of X is Y and Z is a vertex of X, then there exists W such that equal W, the center of circle of X, and W is geometric distance Z for Y |
| (=> (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 |
|