|
|
   Bodybuilding
|
|
|
| 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 e' uma sub-classe de Esporte |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bodybuilding "健美运动") | domainEnglishFormat.kif 11465-11465 | |
| (termFormat ChineseTraditionalLanguage Bodybuilding "健美運動") | domainEnglishFormat.kif 11464-11464 | |
| (termFormat EnglishLanguage Bodybuilding "body building") | Sports.kif 776-776 | |
| (termFormat EnglishLanguage Bodybuilding "bodybuilding") | domainEnglishFormat.kif 11463-11463 | |
| (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 |
|
|
|
|