Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  CircularSegment
|
|
|
| appearance as argument number 1 |
|
|
| (instance CircularSegment ClosedTwoDimensionalFigure) | Mid-level-ontology.kif 6040-6040 | Circular segment is an instance of closed two dimensional figure |
| (documentation CircularSegment EnglishLanguage "A CircularSegment is a plane region bounded by a circular arc (of less than Pi radian by convention) and the circular chord connecting its endpoints.[wikepedia]") | Mid-level-ontology.kif 6041-6043 | Circular segment is an instance of closed two dimensional figure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CircularSegment "circular segment") | Mid-level-ontology.kif 6044-6044 |
| antecedent |
|
|
| (=> (and (equal ?S CircularSegment) (equal ?A CircularArc) (geometricPart ?A ?S) (equal ?C ChordOfACircle) (geometricPart ?C ?S)) (exists (?P1 ?P2) (and (not (equal ?P1 ?P2)) (endPointsOfLine ?P1 ?P2 ?C) (pointOfIntersection ?A ?C ?P1) (pointOfIntersection ?A ?C ?P2)))) |
Mid-level-ontology.kif 6046-6059 | If equal X and circular segment, equal Y and circular arc, X is a geometric part of Y, equal Z and chord of a circle, and X is a geometric part of Z, then All of the following hold: (1) there exist W (2) V such that equal W (3) V (4) W (5) V are endPointsOfLine of Z (6) Y is point of intersection Z for W (7) Y is point of intersection Z for V |
| (=> (and (sideOfFigure ?A ?S) (equal ?S CircularSegment)) (equal ?A MinorArc)) |
Mid-level-ontology.kif 6061-6065 | If the size of X is Y and equal X and circular segment, then equal Y and minor arc |
| statement |
|
|
| (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE CircularSegment))) 2) |
Mid-level-ontology.kif 6067-6070 | equal the number of instances in the class described by X and 2 |
|