| 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 785-786 | |
| (subclass Bodybuilding Sport) | Sports.kif 784-784 | Bodybuilding is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bodybuilding "健美运动") | domainEnglishFormat.kif 11480-11480 | |
| (termFormat ChineseTraditionalLanguage Bodybuilding "健美運動") | domainEnglishFormat.kif 11479-11479 | |
| (termFormat EnglishLanguage Bodybuilding "body building") | Sports.kif 788-788 | |
| (termFormat EnglishLanguage Bodybuilding "bodybuilding") | domainEnglishFormat.kif 11478-11478 | |
| (termFormat EnglishLanguage Bodybuilding "weight lifting") | Sports.kif 806-806 | |
| (termFormat EnglishLanguage Bodybuilding "weightlifting") | Sports.kif 805-805 |
| antecedent |
|
|
| (=> (and (instance ?BB Bodybuilding) (agent ?BB ?H)) (exists (?W) (and (instance ?W Weightlifting) (agent ?W ?H) (earlier (WhenFn ?W) (WhenFn ?BB))))) |
Sports.kif 790-800 |
|
|
|
|