| No TPTP formula. May not be expressible in strict first order. | Sports.kif 559-559 | FitnessExercise e' uma sub-classe de Recreacao ou Exercicio |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 561-561 | Aerobics e' uma sub-classe de FitnessExercise |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 562-562 | Zumba e' uma sub-classe de FitnessExercise |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 563-563 | Pilates e' uma sub-classe de FitnessExercise |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 566-566 | BurlesqueDance e' uma sub-classe de FitnessExercise |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 567-567 | PoleDancing e' uma sub-classe de FitnessExercise |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 790-790 | Weightlifting e' uma sub-classe de FitnessExercise |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5296-5296 | CrossFit e' uma sub-classe de FitnessExercise |
|
|