ConeSegment
|
|
appearance as argument number 1 |
(documentation ConeSegment EnglishLanguage "A ShapeAttribute that specifies a figure described by rotating a quadrilateral with two RightAngles around its right-angled axis.") | Cars.kif 1428-1429 | |
(instance ConeSegment ShapeAttribute) | Cars.kif 1426-1426 | 例 ConeSegment and ShapeAttribute |
appearance as argument number 2 |
(termFormat EnglishLanguage ConeSegment "cone segment") | Cars.kif 1427-1427 |
consequent |