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