Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FitnessExercise(fitness exercise) |  | arm_exercise, back_exercise, calisthenics, callisthenics, cardiopulmonary_exercise, chin-up, exercise, exercise_set, exercising, gymnastic_exercise, hatha_yoga, isometric_exercise, isometrics, isotonic_exercise, jogging, knee_bend, leg_curl, leg_curling, leg_exercise, leg_extensor, neck_exercise, physical_exercise, physical_exertion, press-up, pull-up, pushup, set, sit-up, squat, squatting, stomach_exercise, tummy_crunch, workout, yoga |
| appearance as argument number 1 |
|
|
| (subclass FitnessExercise RecreationOrExercise) | Sports.kif 585-585 | Fitness exercise is a subclass of recreation or exercise |
| appearance as argument number 2 |
|
|
|