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 8205-8205 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 8206-8207
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 05/ LegPressMachineExercise.JPG") pictureList.kif 10408-10408
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ LegExtensionMachineExercise.JPG") pictureList.kif 10409-10409
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8d/ CrossTrainer.JPG") pictureList.kif 10407-10407
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ a/ ac/ SwissBallSquat.JPG") pictureList.kif 10410-10410
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ a/ ad/ Exercise_zones.png") pictureList.kif 9885-9885
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 8204-8204 Anaerobic exercise device is a subclass of recreation or exercise device

appearance as argument number 2
-------------------------


(disjoint Toy AnaerobicExerciseDevice) Mid-level-ontology.kif 2363-2363 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 26686-26694


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