No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2367-2367 | RecreationOrExerciseDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8255-8255 | AerobicExerciseDevice e' uma sub-classe de RecreationOrExerciseDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8259-8259 | AnaerobicExerciseDevice e' uma sub-classe de RecreationOrExerciseDevice |