| Gymnastics(gymnastics) | | gymnastic_exercise, 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 | Gymnastics is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Gymnastics "体操") | domainEnglishFormat.kif 27190-27190 | |
| (termFormat ChineseTraditionalLanguage Gymnastics "體操") | domainEnglishFormat.kif 27189-27189 | |
| (termFormat EnglishLanguage Gymnastics "gymnastics") | domainEnglishFormat.kif 27188-27188 |
| consequent |
|
|
| (=> (attribute ?ATHLETE Gymnast) (hasSkill Gymnastics ?ATHLETE)) |
Sports.kif 420-422 |
|
|
|