AnaerobicExerciseDevice(anaerobic exercise device) more pictures... | barbell |
appearance as argument number 1 |
(disjoint AnaerobicExerciseDevice AerobicExerciseDevice) | Mid-level-ontology.kif 8260-8260 | Anaerobic exercise device is disjoint from aerobic exercise device |
(documentation AnaerobicExerciseDevice EnglishLanguage "An RecreationOrExerciseDevice whose purpose is to develop Muscles without also developing the cardiovascular system.") | Mid-level-ontology.kif 8261-8262 | |
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 05/ LegPressMachineExercise.JPG") | pictureList.kif 10406-10406 | |
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ LegExtensionMachineExercise.JPG") | pictureList.kif 10407-10407 | |
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8d/ CrossTrainer.JPG") | pictureList.kif 10405-10405 | |
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ a/ ac/ SwissBallSquat.JPG") | pictureList.kif 10408-10408 | |
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ a/ ad/ Exercise_zones.png") | pictureList.kif 9885-9885 | |
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) | Mid-level-ontology.kif 8259-8259 | Anaerobic exercise device is a subclass of recreation or exercise device |
appearance as argument number 2 |
(disjoint Toy AnaerobicExerciseDevice) | Mid-level-ontology.kif 2384-2384 | Toy is disjoint from anaerobic exercise device |
(termFormat ChineseLanguage AnaerobicExerciseDevice "无氧运动装置") | domainEnglishFormat.kif 7362-7362 | |
(termFormat ChineseTraditionalLanguage AnaerobicExerciseDevice "無氧運動裝置") | domainEnglishFormat.kif 7361-7361 | |
(termFormat EnglishLanguage AnaerobicExerciseDevice "anaerobic exercise device") | domainEnglishFormat.kif 7360-7360 |
consequent |
(=> (and (instance ?W Weightlifting) (agent ?W ?H)) (modalAttribute (exists (?D) (and (instance ?D AnaerobicExerciseDevice) (instrument ?W ?D))) Likely)) |
Sports.kif 796-805 |
|
(=> (instance ?X ExerciseCenter) (hasPurpose ?X (exists (?DEVICE) (and (or (instance ?DEVICE AerobicExerciseDevice) (instance ?DEVICE AnaerobicExerciseDevice)) (located ?DEVICE ?X))))) |
Mid-level-ontology.kif 26802-26810 |
|