more pictures...
| AnaerobicExerciseDevice(anaerobic exercise device)
more pictures... | | barbell |
| appearance as argument number 1 |
|
|
| s__disjoint(s__AnaerobicExerciseDevice,s__AerobicExerciseDevice)
|
Mid-level-ontology.kif 7908-7908 | Anaerobic exercise device is disjoint from aerobic exercise device |
| s__documentation(s__AnaerobicExerciseDevice,s__EnglishLanguage,'"An RecreationOrExerciseDevice whose purpose is to develop Muscles without also developing the cardiovascular system."')
|
Mid-level-ontology.kif 7909-7910 | |
| s__externalImage(s__AnaerobicExerciseDevice,'"http://upload.wikimedia.org/wikipedia/ commons/ 0/ 05/ LegPressMachineExercise.JPG"')
|
pictureList.kif 10427-10427 | |
| s__externalImage(s__AnaerobicExerciseDevice,'"http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ LegExtensionMachineExercise.JPG"')
|
pictureList.kif 10428-10428 | |
| s__externalImage(s__AnaerobicExerciseDevice,'"http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8d/ CrossTrainer.JPG"')
|
pictureList.kif 10426-10426 | |
| s__externalImage(s__AnaerobicExerciseDevice,'"http://upload.wikimedia.org/wikipedia/ commons/ a/ ac/ SwissBallSquat.JPG"')
|
pictureList.kif 10429-10429 | |
| s__externalImage(s__AnaerobicExerciseDevice,'"http://upload.wikimedia.org/wikipedia/ commons/ a/ ad/ Exercise_zones.png"')
|
pictureList.kif 9903-9903 | |
| s__instance(s__RecreationOrExerciseDevice,s__SetOrClass) s__subclass(s__AnaerobicExerciseDevice,s__RecreationOrExerciseDevice) s__instance(s__AnaerobicExerciseDevice,s__SetOrClass)
|
Mid-level-ontology.kif 7907-7907 | Anaerobic exercise device is a subclass of recreation or exercise device |
| appearance as argument number 2 |
|
|
| s__disjoint(s__Toy,s__AnaerobicExerciseDevice)
|
Mid-level-ontology.kif 2847-2847 | Toy is disjoint from anaerobic exercise device |
| s__termFormat(s__ChineseLanguage,s__AnaerobicExerciseDevice,'"无氧运动装置"')
|
domainEnglishFormat.kif 7369-7369 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__AnaerobicExerciseDevice,'"無氧運動裝置"')
|
domainEnglishFormat.kif 7368-7368 | |
| s__termFormat(s__EnglishLanguage,s__AnaerobicExerciseDevice,'"anaerobic exercise device"')
|
domainEnglishFormat.kif 7367-7367 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24913-24921 |
|
|
|
|