more pictures...
| AnaerobicExerciseDevice(anaerobic exercise device)
more pictures... | | barbell |
| appearance as argument number 1 |
|
|
| (disjoint AnaerobicExerciseDevice AerobicExerciseDevice) | Mid-level-ontology.kif 8451-8451 | 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 8452-8453 | Anaerobic exercise device is disjoint from aerobic exercise device |
| (externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 05/ LegPressMachineExercise.JPG") | pictureList.kif 10406-10406 | Anaerobic exercise device is disjoint from aerobic exercise device |
| (externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ LegExtensionMachineExercise.JPG") | pictureList.kif 10407-10407 | Anaerobic exercise device is disjoint from aerobic exercise device |
| (externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8d/ CrossTrainer.JPG") | pictureList.kif 10405-10405 | Anaerobic exercise device is disjoint from aerobic exercise device |
| (externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ a/ ac/ SwissBallSquat.JPG") | pictureList.kif 10408-10408 | Anaerobic exercise device is disjoint from aerobic exercise device |
| (externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ a/ ad/ Exercise_zones.png") | pictureList.kif 9885-9885 | Anaerobic exercise device is disjoint from aerobic exercise device |
| (subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) | Mid-level-ontology.kif 8450-8450 | 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 7370-7370 | Toy is disjoint from anaerobic exercise device |
| (termFormat ChineseTraditionalLanguage AnaerobicExerciseDevice "無氧運動裝置") | domainEnglishFormat.kif 7369-7369 | Toy is disjoint from anaerobic exercise device |
| (termFormat EnglishLanguage AnaerobicExerciseDevice "anaerobic exercise device") | domainEnglishFormat.kif 7368-7368 | 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 796-805 |
|
| (=> (instance ?X ExerciseCenter) (hasPurpose ?X (exists (?DEVICE) (and (or (instance ?DEVICE AerobicExerciseDevice) (instance ?DEVICE AnaerobicExerciseDevice)) (located ?DEVICE ?X))))) |
Mid-level-ontology.kif 27033-27041 |
|
|
|
|