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 566-566 |
BurlesqueDance 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 |
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 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. |
Sports.kif 562-562 |
Zumba e' uma sub-classe de FitnessExercise |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64869-64869 |
|