No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8228-8228 | Aerobic exercise device is a subclass of recreation or exercise device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8237-8237 | Ergometer is a subclass of aerobic exercise device |