| RecreationOrExerciseDevice(recreation or exercise device) | | Frisbee, Lego, Lego_set, Meccano, Meccano_set, cockhorse, dandle_board, dumbbell, exercising_weight, football_tee, free_weight, golf_tee, hula-hoop, jungle_gym, playground_slide, pogo_stick, seesaw, slide, sliding_board, stick_horse, swing, tee, teeter, teeter-totter, teeterboard, teetertotter, tilting_board, toy, weight |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2375-2375 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2374-2374 | Recreation or exercise device is a subclass of device |
| appearance as argument number 2 |
|
|
| 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 8232-8232 | Anaerobic exercise device is a subclass of recreation or exercise device |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49016-49016 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49015-49015 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49014-49014 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2377-2383 |
|
|
|
|