AnaerobicExerciseDevice - Sigma Knowledge base Browser

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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8233-8233	Anaerobic exercise device is disjoint from aerobic exercise device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8234-8235
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10406-10406
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10407-10407
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10405-10405
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10408-10408
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9885-9885
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8232-8232	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 2391-2391	Toy is disjoint from anaerobic exercise device
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7362-7362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7361-7361
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7360-7360

consequent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 796-805	If a process is an instance of weightlifting and an agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of anaerobic exercise device and the entity is an instrument for the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26769-26777	If a physical is an instance of exercise center, then the physical has the purpose there exists an entity such that the entity is an instance of aerobic exercise device or the entity is an instance of anaerobic exercise device and the entity is located at the physical

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