| Bodybuilding(bodybuilding) | | anaerobic_exercise, bodybuilding, muscle_building, musclebuilding, weightlift, weightlifting |
| appearance as argument number 1 |
|
|
| (documentation Bodybuilding EnglishLanguage "A sport which involves the development of one's Muscles and competition against other bodybuilders.") | Sports.kif 773-774 | |
| (subclass Bodybuilding Sport) | Sports.kif 772-772 | Bodybuilding is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bodybuilding "健美运动") | domainEnglishFormat.kif 11481-11481 | |
| (termFormat ChineseTraditionalLanguage Bodybuilding "健美運動") | domainEnglishFormat.kif 11480-11480 | |
| (termFormat EnglishLanguage Bodybuilding "body building") | Sports.kif 776-776 | |
| (termFormat EnglishLanguage Bodybuilding "bodybuilding") | domainEnglishFormat.kif 11479-11479 | |
| (termFormat EnglishLanguage Bodybuilding "weight lifting") | Sports.kif 794-794 | |
| (termFormat EnglishLanguage Bodybuilding "weightlifting") | Sports.kif 793-793 |
| antecedent |
|
|
| (=> (and (instance ?BB Bodybuilding) (agent ?BB ?H)) (exists (?W) (and (instance ?W Weightlifting) (agent ?W ?H) (earlier (WhenFn ?W) (WhenFn ?BB))))) |
Sports.kif 778-788 |
|
|
|
|