| 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 |
|
|
| (documentation RecreationOrExerciseDevice EnglishLanguage "A Device whose purpose is RecreationOrExercise.") | Mid-level-ontology.kif 2838-2838 | |
| (subclass RecreationOrExerciseDevice Device) | Mid-level-ontology.kif 2837-2837 | Recreation or exercise device is a subclass of device |
| appearance as argument number 2 |
|
|
| (subclass AerobicExerciseDevice RecreationOrExerciseDevice) | Mid-level-ontology.kif 9395-9395 | Aerobic exercise device is a subclass of recreation or exercise device |
| (subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) | Mid-level-ontology.kif 9399-9399 | Anaerobic exercise device is a subclass of recreation or exercise device |
| (termFormat ChineseLanguage RecreationOrExerciseDevice "娱乐或运动器材") | domainEnglishFormat.kif 49020-49020 | Anaerobic exercise device is a subclass of recreation or exercise device |
| (termFormat ChineseTraditionalLanguage RecreationOrExerciseDevice "娛樂或運動器材") | domainEnglishFormat.kif 49019-49019 | Anaerobic exercise device is a subclass of recreation or exercise device |
| (termFormat EnglishLanguage RecreationOrExerciseDevice "recreation or exercise device") | domainEnglishFormat.kif 49018-49018 | Anaerobic exercise device is a subclass of recreation or exercise device |
| antecedent |
|
|
| (=> (instance ?D RecreationOrExerciseDevice) (hasPurpose ?D (exists (?E) (and (instance ?E RecreationOrExercise) (instrument ?E ?D))))) |
Mid-level-ontology.kif 2840-2846 |
|
|
|
|