Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ClosedTwoDimensionalFigure(closed two dimensional figure)
|  | Jordan_curve, closed_curve, concave_polygon, convex_polygon, isogon, polygon, polygonal_shape, reentering_polygon, reentrant_polygon, regular_polygon, simple_closed_curve |
| appearance as argument number 1 |
|
|
| (subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 18166-18166 | Closed two dimensional figure is a subclass of two dimensional figure |
| (documentation ClosedTwoDimensionalFigure EnglishLanguage "Any TwoDimensionalFigure which has a well defined interior and exterior.") | Merge.kif 18167-18168 | Closed two dimensional figure is a subclass of two dimensional figure |
| (externalImage ClosedTwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 41/ Parallelogram.svg") | pictureList.kif 1701-1701 | Closed two dimensional figure is a subclass of two dimensional figure |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain CenterOfCircleFn 1 ClosedTwoDimensionalFigure) | Merge.kif 7801-7801 | The number 1 argument of center of circle is an instance of closed two dimensional figure |
| (domain radius 1 ClosedTwoDimensionalFigure) | Merge.kif 7812-7812 | The number 1 argument of radius is an instance of closed two dimensional figure |
| (partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) | Merge.kif 18153-18153 | Two dimensional figure is exhaustively partitioned into open two dimensional figure and closed two dimensional figure |
| consequent |
|
|
| (=> (instance ?WC WireCoil) (exists (?P ?C) (and (part ?P ?WC) (attribute ?P ?C) (instance ?C ClosedTwoDimensionalFigure)))) |
Cars.kif 2967-2973 | If X is an instance of wire coil, then there exist Y, Z such that Y is a part of X, Z is an attribute of Y, and Z is an instance of closed two dimensional figure |
| (=> (coilCount ?WC ?N) (exists (?C ?C2F) (and (instance ?C CollectionOfObjects) (memberCount ?C ?N) (forall (?M) (=> (member ?M ?C) (and (attribute ?M ?C2F) (instance ?C2F ClosedTwoDimensionalFigure) (part ?M ?WC) (not (exists (?M2) (and (overlapsSpatially ?M2 ?M) (member ?M2 ?C)))))))))) |
Cars.kif 3006-3023 | If the number of coils in X is Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of collection (3) Y is a member count of Z (4) V V is a member of ZW is an attribute of V (5) W is an instance of closed two dimensional figure (6) V is a part of X (7) there doesn't exist U such that U (8) V overlapsSpatially (9) U is a member of Z |
|