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...		anaerobic_exercise_device, barbell, 无氧运动装置, 無氧運動裝置

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7907-7907 Anaerobic exercise device is disjoint from aerobic exercise device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7908-7909
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10427-10427 "http://upload.wikimedia.org/wikipedia/commons/0/05/ LegPressMachineExercise.JPG" is a URL depicting anaerobic exercise device
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10428-10428 "http://upload.wikimedia.org/wikipedia/commons/3/36/ LegExtensionMachineExercise.JPG" is a URL depicting anaerobic exercise device
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10426-10426 "http://upload.wikimedia.org/wikipedia/commons/8/8d/ CrossTrainer.JPG" is a URL depicting anaerobic exercise device
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10429-10429 "http://upload.wikimedia.org/wikipedia/commons/a/ac/ SwissBallSquat.JPG" is a URL depicting anaerobic exercise device
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9903-9903 "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Exercise_zones.png" is a URL depicting anaerobic exercise device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7906-7906 Anaerobic exercise device is a subclass of recreation or exercise device

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2852-2852 Toy is disjoint from anaerobic exercise device
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7369-7369 "无氧运动装置" is the printable form of anaerobic exercise device in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7368-7368 "無氧運動裝置" is the printable form of anaerobic exercise device in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7367-7367 "anaerobic exercise device" is the printable form of anaerobic exercise device in english language

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


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


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