No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2367-2367 | RecreationOrExerciseDevice est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8255-8255 | AerobicExerciseDevice est une sous-classe de RecreationOrExerciseDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8259-8259 | AnaerobicExerciseDevice est une sous-classe de RecreationOrExerciseDevice |