more pictures...
| AnaerobicExerciseDevice(anaerobic exercise device)
more pictures... | | barbell |
| appearance as argument number 1 |
|
|
| (disjoint AnaerobicExerciseDevice AerobicExerciseDevice) | Mid-level-ontology.kif 9419-9419 | 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 9420-9421 | Anaerobic exercise device is disjoint from aerobic exercise device |
| (externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 05/ LegPressMachineExercise.JPG") | pictureList.kif 10404-10404 | Anaerobic exercise device is disjoint from aerobic exercise device |
| (externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ LegExtensionMachineExercise.JPG") | pictureList.kif 10405-10405 | Anaerobic exercise device is disjoint from aerobic exercise device |
| (externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8d/ CrossTrainer.JPG") | pictureList.kif 10403-10403 | Anaerobic exercise device is disjoint from aerobic exercise device |
| (externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ a/ ac/ SwissBallSquat.JPG") | pictureList.kif 10406-10406 | Anaerobic exercise device is disjoint from aerobic exercise device |
| (externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ a/ ad/ Exercise_zones.png") | pictureList.kif 9884-9884 | Anaerobic exercise device is disjoint from aerobic exercise device |
| (subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) | Mid-level-ontology.kif 9418-9418 | Anaerobic exercise device is a subclass of recreation or exercise device |
| appearance as argument number 2 |
|
|
| (disjoint Toy AnaerobicExerciseDevice) | Mid-level-ontology.kif 2853-2853 | Toy is disjoint from anaerobic exercise device |
| (termFormat ChineseLanguage AnaerobicExerciseDevice "无氧运动装置") | domainEnglishFormat.kif 7369-7369 | Toy is disjoint from anaerobic exercise device |
| (termFormat ChineseTraditionalLanguage AnaerobicExerciseDevice "無氧運動裝置") | domainEnglishFormat.kif 7368-7368 | Toy is disjoint from anaerobic exercise device |
| (termFormat EnglishLanguage AnaerobicExerciseDevice "anaerobic exercise device") | domainEnglishFormat.kif 7367-7367 | Toy is disjoint from anaerobic exercise device |
| consequent |
|
|
| (=> (and (instance ?W Weightlifting) (agent ?W ?H)) (modalAttribute (exists (?D) (and (instance ?D AnaerobicExerciseDevice) (instrument ?W ?D))) Likely)) |
Sports.kif 808-817 |
|
| (=> (instance ?X ExerciseCenter) (hasPurpose ?X (exists (?DEVICE) (and (or (instance ?DEVICE AerobicExerciseDevice) (instance ?DEVICE AnaerobicExerciseDevice)) (located ?DEVICE ?X))))) |
Mid-level-ontology.kif 28427-28435 |
|
|
|
|