RightTrapezoid(right trapezoid) |
appearance as argument number 1 |
(documentation RightTrapezoid EnglishLanguage "right trapezoid") | Anatomy.kif 818-818 | |
(subclass RightTrapezoid Trapezoid) | Anatomy.kif 816-816 | Right trapezoid is a subclass of Trapezoid |
appearance as argument number 2 |
(termFormat EnglishLanguage RightTrapezoid "right trapezoid") | Anatomy.kif 817-817 |