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
-------------------------


s__disjoint(s__AnaerobicExerciseDevice,s__AerobicExerciseDevice)

Mid-level-ontology.kif 7908-7908 Anaerobic exercise device is disjoint from aerobic exercise device
s__documentation(s__AnaerobicExerciseDevice,s__EnglishLanguage,'"An RecreationOrExerciseDevice whose purpose is to develop Muscles without also developing the cardiovascular system."')

Mid-level-ontology.kif 7909-7910
s__externalImage(s__AnaerobicExerciseDevice,'"http://upload.wikimedia.org/wikipedia/ commons/ 0/ 05/ LegPressMachineExercise.JPG"')

pictureList.kif 10427-10427
s__externalImage(s__AnaerobicExerciseDevice,'"http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ LegExtensionMachineExercise.JPG"')

pictureList.kif 10428-10428
s__externalImage(s__AnaerobicExerciseDevice,'"http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8d/ CrossTrainer.JPG"')

pictureList.kif 10426-10426
s__externalImage(s__AnaerobicExerciseDevice,'"http://upload.wikimedia.org/wikipedia/ commons/ a/ ac/ SwissBallSquat.JPG"')

pictureList.kif 10429-10429
s__externalImage(s__AnaerobicExerciseDevice,'"http://upload.wikimedia.org/wikipedia/ commons/ a/ ad/ Exercise_zones.png"')

pictureList.kif 9903-9903
s__instance(s__RecreationOrExerciseDevice,s__SetOrClass)

s__subclass(s__AnaerobicExerciseDevice,s__RecreationOrExerciseDevice)

s__instance(s__AnaerobicExerciseDevice,s__SetOrClass)

Mid-level-ontology.kif 7907-7907 Anaerobic exercise device is a subclass of recreation or exercise device

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


s__disjoint(s__Toy,s__AnaerobicExerciseDevice)

Mid-level-ontology.kif 2847-2847 Toy is disjoint from anaerobic exercise device
s__termFormat(s__ChineseLanguage,s__AnaerobicExerciseDevice,'"无氧运动装置"')

domainEnglishFormat.kif 7369-7369
s__termFormat(s__ChineseTraditionalLanguage,s__AnaerobicExerciseDevice,'"無氧運動裝置"')

domainEnglishFormat.kif 7368-7368
s__termFormat(s__EnglishLanguage,s__AnaerobicExerciseDevice,'"anaerobic exercise device"')

domainEnglishFormat.kif 7367-7367

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24913-24921


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners