![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Weightlifting EnglishLanguage "Lifting weights or using resistance machines in order to build muscle size or strength.") | Sports.kif 791-792 | |
(subclass Weightlifting FitnessExercise) | Sports.kif 790-790 | Weightlifting は FitnessExercise の subclass では %n |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Weightlifting "weightlifting") | domainEnglishFormat.kif 65729-65729 |
antecedent |
![]() |
(=> (and (instance ?W Weightlifting) (agent ?W ?H)) (modalAttribute (exists (?D) (and (instance ?D AnaerobicExerciseDevice) (instrument ?W ?D))) Likely)) |
Sports.kif 796-805 |
|
consequent |
![]() |
(=> (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 |
|
![]() |
![]() |