No TPTP formula. May not be expressible in strict first order. |
Sports.kif 561-561 |
Aerobics est une sous-classe de FitnessExercise |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 566-566 |
BurlesqueDance est une sous-classe de FitnessExercise |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5296-5296 |
CrossFit est une sous-classe de FitnessExercise |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 563-563 |
Pilates est une sous-classe de FitnessExercise |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 567-567 |
PoleDancing est une sous-classe de FitnessExercise |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 790-790 |
Weightlifting est une sous-classe de FitnessExercise |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 562-562 |
Zumba est une sous-classe de FitnessExercise |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64871-64871 |
|