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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - AnaerobicExerciseDevice
more pictures...

appearance as argument number 1

(disjoint AnaerobicExerciseDevice AerobicExerciseDevice) Mid-level-ontology.kif 8233-8233
(documentation AnaerobicExerciseDevice EnglishLanguage "An RecreationOrExerciseDevice whose purpose is to develop Muscles without also developing the cardiovascular system.") Mid-level-ontology.kif 8234-8235
(externalImage AnaerobicExerciseDevice " commons/ 0/ 05/ LegPressMachineExercise.JPG") pictureList.kif 10406-10406
(externalImage AnaerobicExerciseDevice " commons/ 3/ 36/ LegExtensionMachineExercise.JPG") pictureList.kif 10407-10407
(externalImage AnaerobicExerciseDevice " commons/ 8/ 8d/ CrossTrainer.JPG") pictureList.kif 10405-10405
(externalImage AnaerobicExerciseDevice " commons/ a/ ac/ SwissBallSquat.JPG") pictureList.kif 10408-10408
(externalImage AnaerobicExerciseDevice " commons/ a/ ad/ Exercise_zones.png") pictureList.kif 9885-9885
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 8232-8232

appearance as argument number 2

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


        (instance ?W Weightlifting)
        (agent ?W ?H))
        (exists (?D)
                (instance ?D AnaerobicExerciseDevice)
                (instrument ?W ?D))) Likely))
Sports.kif 796-805
    (instance ?X ExerciseCenter)
    (hasPurpose ?X
        (exists (?DEVICE)
                    (instance ?DEVICE AerobicExerciseDevice)
                    (instance ?DEVICE AnaerobicExerciseDevice))
                (located ?DEVICE ?X)))))
Mid-level-ontology.kif 26769-26777

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

Show without tree

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