Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnaerobicExerciseDevice
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners