| Gymnastics(體操) | |
| appearance as argument number 1 |
|
|
| (documentation Gymnastics EnglishLanguage "A sport which involves exercises of agility on a range of gymnastic equipment.") | Sports.kif 601-602 | |
| (subclass Gymnastics Sport) | Sports.kif 600-600 | 子類 體操 and Sport |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Gymnastics "体操") | domainEnglishFormat.kif 27156-27156 | |
| (termFormat ChineseTraditionalLanguage Gymnastics "體操") | domainEnglishFormat.kif 27155-27155 | |
| (termFormat EnglishLanguage Gymnastics "gymnastics") | domainEnglishFormat.kif 27154-27154 |
| consequent |
|
|
| (=> (attribute ?ATHLETE Gymnast) (hasSkill Gymnastics ?ATHLETE)) |
Sports.kif 420-422 |
|
|
|
|