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 8232-8232 无氧运动装置 和 % 2 是 disjoint
(documentation AnaerobicExerciseDevice EnglishLanguage "An RecreationOrExerciseDevice whose purpose is to develop Muscles without also developing the cardiovascular system.") Mid-level-ontology.kif 8233-8234
(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 8231-8231 无氧运动装置娱乐或运动器材subclass

appearance as argument number 2

(disjoint Toy AnaerobicExerciseDevice) Mid-level-ontology.kif 2391-2391 Toy 和 % 2 是 disjoint
(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 26757-26765

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