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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9400-9400 Anaerobic exercise device is disjoint from aerobic exercise device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9401-9402 Anaerobic exercise device is disjoint from aerobic exercise device
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10404-10404 Anaerobic exercise device is disjoint from aerobic exercise device
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10405-10405 Anaerobic exercise device is disjoint from aerobic exercise device
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10403-10403 Anaerobic exercise device is disjoint from aerobic exercise device
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10406-10406 Anaerobic exercise device is disjoint from aerobic exercise device
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9884-9884 Anaerobic exercise device is disjoint from aerobic exercise device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9399-9399 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 2854-2854 Toy is disjoint from anaerobic exercise device
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7369-7369 Toy is disjoint from anaerobic exercise device
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7368-7368 Toy is disjoint from anaerobic exercise device
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7367-7367 Toy is disjoint from anaerobic exercise device

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 808-817
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28668-28676


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