Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 9553-9553 Anaerobic exercise device is a subclass of recreation or exercise device
(disjoint AnaerobicExerciseDevice AerobicExerciseDevice) Mid-level-ontology.kif 9554-9554 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 9555-9556 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
(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/ 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/ a/ ac/ SwissBallSquat.JPG") pictureList.kif 10406-10406 Anaerobic exercise device is disjoint from aerobic exercise device

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


(disjoint Toy AnaerobicExerciseDevice) Mid-level-ontology.kif 2990-2990 Toy is disjoint from anaerobic exercise device
(termFormat EnglishLanguage AnaerobicExerciseDevice "anaerobic exercise device") domainEnglishFormat.kif 7361-7361 Toy is disjoint from anaerobic exercise device
(termFormat ChineseTraditionalLanguage AnaerobicExerciseDevice "無氧運動裝置") domainEnglishFormat.kif 7362-7362 Toy is disjoint from anaerobic exercise device
(termFormat ChineseLanguage AnaerobicExerciseDevice "无氧运动装置") domainEnglishFormat.kif 7363-7363 Toy is disjoint from anaerobic exercise device

consequent
-------------------------


(=>
    (instance ?X ExerciseCenter)
    (hasPurpose ?X
        (exists (?DEVICE)
            (and
                (or
                    (instance ?DEVICE AerobicExerciseDevice)
                    (instance ?DEVICE AnaerobicExerciseDevice))
                (located ?DEVICE ?X)))))		 Mid-level-ontology.kif 29363-29371 If X is an instance of exercise center, then X has the purpose there exists Y such that Y is an instance of aerobic exercise device or Y is an instance of anaerobic exercise device and Y is located at X
(=>
    (and
        (instance ?W Weightlifting)
        (agent ?W ?H))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D AnaerobicExerciseDevice)
                (instrument ?W ?D))) Likely))		 Sports.kif 822-831 If X is an instance of weightlifting and Y is an agent of X, then the statement there exists Z such that Z is an instance of anaerobic exercise device and Z is an instrument for X has the modal force of likely


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners